Update Raspberry Pi to be concurrent

steinwurf · Aug 22, 2023 · d6263a3 · d6263a3
1 parent ee6722d
commit d6263a3
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/raspberry_pi.yml b/.github/workflows/raspberry_pi.yml
@@ -31,3 +31,8 @@ jobs:
 
 
 
+
+# Cancel previous in-progress when pushing: https://stackoverflow.com/a/72408109
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
+  cancel-in-progress: true