Skip to content

Run Coveralls coverage on pull requests and main branch updates#356

Open
harryswift01 wants to merge 3 commits into
mainfrom
355-general-reintroduce-coveralls-step
Open

Run Coveralls coverage on pull requests and main branch updates#356
harryswift01 wants to merge 3 commits into
mainfrom
355-general-reintroduce-coveralls-step

Conversation

@harryswift01
Copy link
Copy Markdown
Member

Summary

This PR updates the pull request CI workflow so that full CI continues to run for pull requests, while coverage is also run on pushes to main to keep the Coveralls base branch coverage up to date.

Changes

Update GitHub Actions coverage workflow:

  • Keep the workflow triggered for all pull requests.
  • Keep the workflow triggered on pushes to main.
  • Restrict the main CI jobs, including unit tests, regression tests, documentation, and pre-commit checks, to pull request events only.
  • Allow the coverage job to run on both pull requests and pushes to main.
  • Remove the coverage job dependency on the unit-test matrix so that coverage can still run when only the main push event is triggered.
  • Add explicit workflow permissions for reading repository contents and publishing checks/PR coverage information.

Impact

  • Full CI remains active for pull requests across all target branches.
  • Pushes to main no longer rerun the full test suite unnecessarily.
  • Coveralls receives updated coverage data from main, ensuring PR coverage comparisons use the latest base branch.
  • Coverage differences in pull requests should be reported more consistently and reliably.

@harryswift01 harryswift01 self-assigned this Jun 3, 2026
@harryswift01 harryswift01 added the github_actions Pull requests that update GitHub Actions code label Jun 3, 2026
@harryswift01 harryswift01 requested a review from jimboid June 3, 2026 09:39
@harryswift01 harryswift01 added this to the 2.2.4 milestone Jun 3, 2026
Copy link
Copy Markdown
Member

@jimboid jimboid left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

More efficient CI pipeline usage is always a good thing.

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

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[General]: Reintroduce coveralls step back into PR merge to create base branches again

2 participants