[ci] Cancel outstanding workflows when new changes are added to PRs (#513)

pull/509/head
mcbarton 7 months ago committed by GitHub
parent 62c3d46dd7
commit 30a64fd513
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -10,6 +10,10 @@ on:
pull_request:
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
cancel-in-progress: true
jobs:
build:
name: Build ${{ matrix.artifact }}

Loading…
Cancel
Save