misc: Fix CI GitHub Action to stop if Workflow re-triggered (#275)

This ensures that if the CI tests are running for a PR, and a new
workflow is triggered (typically by pushing/rebasing the PR) then the
older workflow is cancelled.
This commit is contained in:
Bobby R. Bruce
2023-09-06 11:09:52 -07:00
committed by GitHub

View File

@@ -6,6 +6,9 @@ on:
pull_request:
types: [opened, edited, synchronize, ready_for_review]
concurrency:
group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
cancel-in-progress: true
jobs:
pre-commit: