testing

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 10, 2024 · 8352e78 · 8352e78
1 parent 5fb801b
commit 8352e78
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml
@@ -16,9 +16,9 @@ on:
 # waiting for the workflow to finish. As a side effect, pushing new commits now
 # becomes a convenient way to cancel all the older runs, e.g. if they are stuck
 # and would only be stopped by the timeout eventually.
-concurrency:
-  group: ${{ github.workflow }}-pr-${{ github.event.number }}
-  cancel-in-progress: true
+# concurrency:
+#   group: ${{ github.workflow }}-pr-${{ github.event.number }}
+#   cancel-in-progress: true
 
 jobs:
   sim: