From 06c0b8c74fbbc0fa6eac85be36cbb4b8bcc43c7b Mon Sep 17 00:00:00 2001
From: Pete <petew@allenai.org>
Date: Wed, 26 May 2021 12:02:37 -0700
Subject: [PATCH] cancel redundant GH Actions builds (#1007)

---
 .github/workflows/api_ci.yml | 10 +++++++---
 .github/workflows/ui_ci.yml  |  3 +++
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/api_ci.yml b/.github/workflows/api_ci.yml
index 686c6acb..bd751e9a 100644
--- a/.github/workflows/api_ci.yml
+++ b/.github/workflows/api_ci.yml
@@ -1,5 +1,9 @@
 name: API CI
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   push:
     branches:
@@ -46,19 +50,19 @@ jobs:
 
     - name: Format
       working-directory: api
-      if: always()
+      if: '! cancelled()'
       run: |
         make format
 
     - name: Lint
       working-directory: api
-      if: always()
+      if: '! cancelled()'
       run: |
         make lint
 
     - name: Type check
       working-directory: api
-      if: always()
+      if: '! cancelled()'
       run: |
         make typecheck
 
diff --git a/.github/workflows/ui_ci.yml b/.github/workflows/ui_ci.yml
index 45ecf034..281d73a9 100644
--- a/.github/workflows/ui_ci.yml
+++ b/.github/workflows/ui_ci.yml
@@ -1,4 +1,7 @@
 name: UI CI
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 on:
   push:
     branches: