Merge pull request #2595 from o1-labs/fizzixnerd/cancel-in-progress-ci

Cancel in progress CI
o1-labs · Sep 24, 2024 · ceae363 · ceae363
2 parents 9e1e8d1 + fbdb3b3
commit ceae363
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,8 +1,13 @@
 name: CI
 
 on:
+  workflow_dispatch:
   pull_request:
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   # https://doc.rust-lang.org/cargo/reference/profiles.html#release
   RUSTFLAGS: -Coverflow-checks=y -Cdebug-assertions=y