Set up Github Actions workflow for coverage reporting.
.github/workflows/…yaml. It triggers on pushes to the mentioned branch in the yaml file:
These permissions allow the token to access repository metadata and update commit status checks for coverage reporting.