Cancel in-progress CI at the workflow level

o1-labs · Sep 23, 2024 · fbdb3b3 · fbdb3b3
1 parent 9e1e8d1
commit fbdb3b3
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