-
-
Notifications
You must be signed in to change notification settings - Fork 1.1k
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.
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
Trigger CI on push or pull_request but not both #5142
Conversation
.github/workflows/ci.yaml
Outdated
concurrent_skipping: "same_content" | ||
skip_after_successful_duplicate: "true" | ||
do_not_skip: '["pull_request", "workflow_dispatch"]' |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Incidentally, this action can be used to automatically skip CI runs for documentation related PRs (without needing to use the [skip-ci]
in the commit message).
with:
paths_ignore: '["**/doc/**"]'
Should we enable this?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should we enable this?
👍, it's really easy to forget adding that flag
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Great idea!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thanks for taking up my comment in that PR. I've got a question regarding the version of the action, but otherwise this should be good to go.
Thanks @andersy005 |
pre-commit run --all-files
Here's a snippet of how this looks like when a pull request is created on the same main repository:
Cc @keewis