From 12c67426077d2653751fe04cbfb3480cf88c0caa Mon Sep 17 00:00:00 2001
From: "Bobby R. Bruce" <bbruce@ucdavis.edu>
Date: Tue, 5 Sep 2023 20:46:55 -0700
Subject: [PATCH] misc: Fix CI GitHub Action to stop if Workflow re-triggered

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.

Change-Id: Ifa172bdbdac09c5a91abb41a0162c597445e4e2e
---
 .github/workflows/ci-tests.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci-tests.yaml b/.github/workflows/ci-tests.yaml
index 8def494668..9987083731 100644
--- a/.github/workflows/ci-tests.yaml
+++ b/.github/workflows/ci-tests.yaml
@@ -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: