CI: cancel older concurrent PR runs

.github/workflows/sel4test-hw.yml

@@ -6,7 +6,7 @@
 #
 # See sel4test-hw/builds.yml in the repo seL4/ci-actions for configs.
 
-name: seL4Test HW
+name: seL4Test-HW
 
 on:
   # needs PR target for secrets access; guard by requiring label
@@ -17,6 +17,11 @@ on:
 permissions:
   contents: read
 
+# Cancel older runs to reduce the load, especially on the machine queue.
+concurrency:
+  group: ${{ github.workflow }}-pr-${{ github.event.number }}
+  cancel-in-progress: true
+
 jobs:
   hw-build:
     name: HW Build
@@ -80,7 +85,6 @@ jobs:
         with:
           repository: seL4/machine_queue
           path: machine_queue
-          token: ${{ secrets.PRIV_REPO_TOKEN }}
       - name: Download image
         uses: actions/download-artifact@v4
         with:

.github/workflows/sel4test-sim.yml

@@ -6,13 +6,20 @@
 #
 # See sel4test-sim/builds.yml in the repo seL4/ci-actions for configs.
 
-name: seL4Test
+name: seL4Test-Sim
 
 on:
   push:
     branches: [master]
   pull_request:
 
+# Cancel older runs to reduce the load. The workflow also runs on pushes to
+# the master branch, but skipping or cancellation will not happen there
+# practically due to the unique run ID.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.number) || format('run-{0}', github.run_id) }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 jobs:
   simulation:
     name: Simulation