From 7704685458bfa9222636690059a939c666b13346 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Wed, 28 Jul 2021 22:18:54 +0300 Subject: [PATCH] Revert "ci: minor optimization in the cancel workflow (#10978)" This reverts commit 61ed1d810fee1d86dfe4fca8bee96713da50f443. 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 --- .github/workflows/cancel.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/cancel.yml b/.github/workflows/cancel.yml index 845c45eac4..f3d6acb76a 100644 --- a/.github/workflows/cancel.yml +++ b/.github/workflows/cancel.yml @@ -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 }}