chore: CI: cancel outdated workflows

leanprover · Oct 13, 2022 · 828aea4 · 828aea4
1 parent 6b8fa76
commit 828aea4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,6 +11,10 @@ on:
   schedule:
     - cron: '0 7 * * *'  # 8AM CET/11PM PT
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   set-nightly:
     # don't schedule nightlies on forks

diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
@@ -9,6 +9,10 @@ on:
     branches:
       - master
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   Build:
     runs-on: ${{ matrix.os }}