Update Raspberry Pi to be concurrent

steinwurf · Aug 22, 2023 · d112cc4 · d112cc4
1 parent 102232e
commit d112cc4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/raspberry_pi.yml b/.github/workflows/raspberry_pi.yml
@@ -20,3 +20,9 @@ jobs:
       test_runner: raspberry_pi
       test_binary_name: ranbo_tests
       test_binary_directory: build/cxx_raspberry_gxx83_armv7/test
+
+# 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