CI: Improve efficiency on GHA

When pushing to the same branch on a PR, cancel running jobs of the same kind.
earthobservations · Dec 13, 2022 · 4fae26d · 4fae26d
1 parent acfe5b5
commit 4fae26d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -1,11 +1,20 @@
 name: Tests
 
 on:
+
   push:
     branches: [ main ]
   pull_request:
     branches: [ main ]
 
+  # Allow job to be triggered manually.
+  workflow_dispatch:
+
+# Cancel in-progress jobs when pushing to the same branch.
+concurrency:
+  cancel-in-progress: true
+  group: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
 
   tests: