mirror of
https://github.com/vlang/v.git
synced 2023-08-10 21:13:21 +03:00
Revert "ci: minor optimization in the cancel workflow (#10978)"
This reverts commit 61ed1d810f
.
Reason: queued fast jobs for all CI runs on merged commits on master
after that PR.
https://cdn.discordapp.com/attachments/722442086984450159/870022126663520276/unknown.png
This commit is contained in:
parent
d25bd95a0e
commit
7704685458
5
.github/workflows/cancel.yml
vendored
5
.github/workflows/cancel.yml
vendored
@ -2,7 +2,7 @@ name: Cancel previous workflows
|
||||
|
||||
on:
|
||||
workflow_run:
|
||||
workflows: ["Code CI"]
|
||||
workflows: ["Code CI", "Sanitized CI"] # the other workflows finish quickly - no need to skip them for now
|
||||
types:
|
||||
- requested
|
||||
|
||||
@ -14,5 +14,4 @@ jobs:
|
||||
# don't cancel CI for commits pushed to vlang/v#master (if ci is still too slow, this can be removed safely)
|
||||
if: ${{ github.event.workflow_run.head_repository.full_name != 'vlang/v' || github.event.workflow_run.head_branch != 'master' }}
|
||||
with:
|
||||
# workflow ids for `Code CI` and `Sanitized CI` (from https://api.github.com/repos/vlang/v/actions/workflows):
|
||||
workflow_id: 4577,7940868 # the other workflows finish quickly - no need to skip them
|
||||
workflow_id: ${{ github.event.workflow.id }}
|
||||
|
Loading…
Reference in New Issue
Block a user