-
Notifications
You must be signed in to change notification settings - Fork 741
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
[CI] Only run one post commit job on a push to a pull request in sycl-devops-pr #16079
Conversation
…-devops-pr Signed-off-by: Sarnie, Nick <nick.sarnie@intel.com>
@@ -21,7 +21,7 @@ on: | |||
|
|||
concurrency: | |||
# Cancel a currently running workflow from the same PR or commit hash. | |||
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} | |||
group: "${{ github.actor }}-${{ github.head_ref || github.ref_name }}" |
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.
I think PR's description needs to be copied/summarized here too.
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.
good point, added in latest commit
Signed-off-by: Sarnie, Nick <nick.sarnie@intel.com>
Merging since postcommit passed in a previous run and this doesn't effect precommit and CI is really slammed, thanks all. |
Kind of a really specific case, but if someone pushes to
sycl-devops-pr
to run postcommit and then makes a PR from the same branch, both the initial pull request event and every subsequent push to the branch will cause two postcommits to run, one from the push to the branch and one from the PR.Use a unique key that will be the same in both cases so only one is run and the other is cancelled.
Nobody really uses this branch besides CI devs so we don't need to overengineer it so it never runs two in the first place IMO.