Skip to content

Commit

Permalink
[ci] Add concurrency group for CI workflow
Browse files Browse the repository at this point in the history
Signed-off-by: James Wainwright <james.wainwright@lowrisc.org>
  • Loading branch information
jwnrt committed Sep 18, 2024
1 parent 0f8de33 commit 3f08f17
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,10 @@ name: CI
on:
pull_request:

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true

jobs:
airgapped_build:
name: Airgapped build
Expand Down

0 comments on commit 3f08f17

Please sign in to comment.