ci: prevent double builds for PR pushes

This commit is contained in:
Christopher Willis-Ford 2023-10-18 07:14:10 -07:00
parent 110f9a224e
commit 3d6e367287

View file

@ -4,6 +4,7 @@ on:
workflow_dispatch: # Allows you to run this workflow manually from the Actions tab
pull_request: # Runs whenever a pull request is created or updated
push: # Runs whenever a commit is pushed to the repository
branches: [master, hotfix/*] # ...on any of these branches
concurrency:
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'