Update Raspberry Pi to be concurrent

steinwurf · Aug 22, 2023 · 6253630 · 6253630
1 parent 9cb6b6c
commit 6253630
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/raspberry_pi.yml b/.github/workflows/raspberry_pi.yml
@@ -21,3 +21,9 @@ jobs:
       test_binary_name: cpuid_tests
       test_binary_directory: build/cxx_raspberry_gxx83_armv7/test
       test_option: --no_fail
+
+# Cancel previous in-progress when pushing: https://stackoverflow.com/a/72408109
+concurrency:
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
+  cancel-in-progress: true