From 45082163f01eba8f25c8f648d716359ac1392387 Mon Sep 17 00:00:00 2001
From: David Lechner <david@pybricks.com>
Date: Mon, 19 Dec 2022 15:09:15 -0600
Subject: [PATCH] github/workflows: add concurrency groups

This will cancel any ongoing workflows when we update a pull request.
---
 .github/workflows/codeql-analysis.yml   | 4 ++++
 .github/workflows/test-pull-request.yml | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
index 6f4e9935..7ac1f864 100644
--- a/.github/workflows/codeql-analysis.yml
+++ b/.github/workflows/codeql-analysis.yml
@@ -20,6 +20,10 @@ on:
   schedule:
     - cron: '19 21 * * 4'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     name: Analyze
diff --git a/.github/workflows/test-pull-request.yml b/.github/workflows/test-pull-request.yml
index 80bff682..d45e264f 100644
--- a/.github/workflows/test-pull-request.yml
+++ b/.github/workflows/test-pull-request.yml
@@ -7,6 +7,10 @@ on:
   pull_request:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test: