Skip to content

[CI] Fix concurrency group name for PR/push workflow #187

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

Merged
merged 1 commit into from
Jan 31, 2024

Conversation

lukaszstolarczuk
Copy link
Contributor

head_ref is only available on PRs. Without this change all pushes ended up being in one group. On upstream it cancels all consecutive main pushes (which is a little undesired), but on forks it canceled all consecutive pushes (which is undesired if you want to test multiple different branches).

This solution is copy-pasted from the UR repo and it works there just fine.

On pushes the group name was like: -workflow_name.

@lukaszstolarczuk lukaszstolarczuk requested a review from a team as a code owner January 30, 2024 17:07
@igchor
Copy link
Member

igchor commented Jan 30, 2024

@lukaszstolarczuk can you rebase?

@lukaszstolarczuk
Copy link
Contributor Author

@lukaszstolarczuk can you rebase?

Done.

head_ref is only available on PRs. Without this change all pushes ended up
being in one group. On upstream it cancels all consecutive main pushes
(which is a little undesired), but on forks it canceled all consecutive
pushes (which is undesired if you want to test multiple different branches).
@ldorau ldorau merged commit a7dec01 into oneapi-src:main Jan 31, 2024
@lukaszstolarczuk lukaszstolarczuk deleted the fix-ci-concurrency branch January 31, 2024 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants