cancel redundant GH Actions builds (#1007)

allenai · May 26, 2021 · 06c0b8c · 06c0b8c
1 parent 7492d7d
commit 06c0b8c
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git 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
@@ -1,4 +1,7 @@
 name: UI CI
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 on:
   push:
     branches: