From 36007d6254de45f3d8bf017c596285c4f27bf62c Mon Sep 17 00:00:00 2001
From: Raffi Khatchadourian <raffi.khatchadourian@hunter.cuny.edu>
Date: Fri, 23 Jun 2023 15:41:52 -0400
Subject: [PATCH] Add concurrency clause to GitHub Actions CI (#63)

Cancel in-progress builds when a new commit is pushed. From
https://github.com/wala/WALA/blob/89de874efbc3369097e03b85493f4a3beb8e1a44/.github/workflows/continuous-integration.yml#L7-L9.
---
 .github/workflows/continuous-integration.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
index 4218b8b2a..dd65def48 100644
--- a/.github/workflows/continuous-integration.yml
+++ b/.github/workflows/continuous-integration.yml
@@ -4,6 +4,9 @@ on:
     branches: [ "master" ]
   pull_request:
     branches: [ "master" ]
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
 jobs:
   build:
     runs-on: ubuntu-latest