From 3fdb3f832af56a4afc38da1691fff3ca6596bf20 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Thu, 9 Jun 2022 00:46:46 +0200 Subject: Cancel running workflows automatically on PR update (#31044) * Cancel running workflows automatically on PR update * Add the last update later to check cancellation is working * Use github.run_number instead of github.sha --- .github/workflows/bootstrap.yml | 4 ++++ 1 file changed, 4 insertions(+) (limited to '.github/workflows/bootstrap.yml') diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml index 3780429386..fce8c81d1f 100644 --- a/.github/workflows/bootstrap.yml +++ b/.github/workflows/bootstrap.yml @@ -19,6 +19,10 @@ on: # nightly at 2:16 AM - cron: '16 2 * * *' +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_number }} + cancel-in-progress: true + jobs: fedora-clingo-sources: -- cgit v1.2.3-60-g2f50