Skip to content

Commit

Permalink
CI: cancel older concurrent PR runs
Browse files Browse the repository at this point in the history
- Remove the space in the workflow name to ensure there are no side
  effects when using it as an identifier.
- Act on PRs only, not on upstreaming.

Signed-off-by: Axel Heider <axelheider@gmx.de>
  • Loading branch information
axel-h committed Mar 6, 2024
1 parent ff379cf commit f526821
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 2 deletions.
7 changes: 6 additions & 1 deletion .github/workflows/sel4test-hw.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down
9 changes: 8 additions & 1 deletion .github/workflows/sel4test-sim.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,13 +6,20 @@
#
# See sel4test-sim/builds.yml in the repo seL4/ci-actions for configs.

name: seL4Test Sim
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 brnach, 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
Expand Down

0 comments on commit f526821

Please sign in to comment.