Cancel in progress (#1593)

Fixes #1561
spiraldb · Dec 6, 2024 · 84e1a6f · 84e1a6f
1 parent 3a27f4a
commit 84e1a6f
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/.github/workflows/bench-pr.yml b/.github/workflows/bench-pr.yml
@@ -1,5 +1,9 @@
 name: PR Benchmarks
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/develop' }}
+
 on:
   pull_request:
     types: [ labeled, synchronize ]
@@ -32,7 +36,7 @@ jobs:
             name: Random Access
           - id: compress
             name: Vortex Compression
-            
+
     runs-on: self-hosted
     if: ${{ contains(github.event.head_commit.message, '[benchmark]') || github.event.label.name == 'benchmark' && github.event_name == 'pull_request' }}
     steps:

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,9 @@
 name: CI
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/develop' }}
+
 on:
   push:
     branches: [ "develop" ]