New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: Skip PR reporter action on non-pull request triggers #4536

Merged

rschristian merged 1 commit into main from ci/reporter-push

Oct 18, 2024

Member

rschristian commented Oct 18, 2024

Ensures the PR reporter doesn't error out when the CI workflow is ran on push to main.

The PR reporter workflow will still trigger, but immediately cancel with this.


          ci: Skip PR reporter action on non-pull request triggers

11efa79

coveralls commented Oct 18, 2024

coverage: 99.488%. remained the same
when pulling 11efa79 on ci/reporter-push
into c11e2d3 on main.

JoviDeCroock approved these changes

View reviewed changes

rschristian merged commit 4181cba into main

7 checks passed

rschristian deleted the ci/reporter-push branch

October 18, 2024 06:12

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

Labels

None yet