Don't have more than one ci job running on main or individual PRs at the same time

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

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

Loading…
Cancel
Save