Cancel duplicate/previous CI runs (#247)

AU-COBRA · Jun 26, 2024 · 179e628 · 179e628
2 parents 5950d6b + e9dfe98
commit 179e628
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -20,6 +20,9 @@ on:
     - 'LICENSE'
     - 'papers/**'
     - 'extra/docker/**'
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
 permissions:
   contents: read
 env:

diff --git a/.github/workflows/lint-opam.yml b/.github/workflows/lint-opam.yml
@@ -3,6 +3,9 @@ on:
   pull_request:
     paths:
     - '**.opam'
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
 permissions:
   contents: read
 jobs:

diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml
@@ -2,6 +2,9 @@ name: Refresh cache
 on:
   schedule:
     - cron: 0 1 * * MON
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
 permissions:
   contents: read
 env: