Skip to content

Change PR build to generate coverage and comment it#1474

Open
noah-thor wants to merge 3 commits intoapple:mainfrom
noah-thor:make-coverage
Open

Change PR build to generate coverage and comment it#1474
noah-thor wants to merge 3 commits intoapple:mainfrom
noah-thor:make-coverage

Conversation

@noah-thor
Copy link
Copy Markdown
Contributor

This extends the github actions to by default run the coverage generation targets. The targets will generate the coverage artifacts, which will then be used by a seprate github action to comment on the PR the coverage numbers.

Type of Change

  • Bug fix
  • New feature
  • Breaking change
  • Documentation update

Motivation and Context

This is a sanity check for testing information for new features and refactors alike. It will allow reviewers to quickly identify if there are major issues with new tests, or large changes to coverage percentage that indicate a problem.

Testing

  • Tested locally
  • Added/updated tests
  • Added/updated docs

This extends the github actions to by default run the coverage
generation targets. The targets will generate the coverage artifacts,
which will then be used by a seprate github action to comment on the PR
the coverage numbers. We aim to use this as a sanity check for testing
information for new features and refactors alike.
@github-actions github-actions Bot added the ci label Apr 29, 2026
@noah-thor
Copy link
Copy Markdown
Contributor Author

Build failing due to main having issues, will be fixed when #1473 is merged

Pedro19875

This comment was marked as spam.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants