From 5ee5f92cda066fee63a5419c95d7b380bdf90b1b Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Tue, 21 Dec 2021 19:18:34 +0200 Subject: [PATCH] ci: use github.sha instead of github.ref, so CI runs on master are not canceled early --- .github/workflows/ci.yml | 2 +- .github/workflows/ci_sanitized.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bfa140a920..2979d27e3b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,7 @@ on: - "**.md" concurrency: - group: build-${{ github.event.pull_request.number || github.ref }} + group: build-${{ github.event.pull_request.number || github.sha }} cancel-in-progress: true jobs: diff --git a/.github/workflows/ci_sanitized.yml b/.github/workflows/ci_sanitized.yml index 9bd61f2f2c..eae87b5918 100644 --- a/.github/workflows/ci_sanitized.yml +++ b/.github/workflows/ci_sanitized.yml @@ -54,7 +54,7 @@ on: - 'vlib/v/embed_file/**.v' concurrency: - group: build-${{ github.event.pull_request.number || github.ref }} + group: build-${{ github.event.pull_request.number || github.sha }} cancel-in-progress: true jobs: