CI: cancel previous jobs on PR updates

Author: pjonsson

.github/workflows/main.yml

@@ -4,6 +4,12 @@ on:
   pull_request:
   push:
 
+# When a PR is updated, cancel the jobs from the previous version. Merges
+# do not define head_ref, so use run_id to never cancel those jobs.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   build-wheels:
     timeout-minutes: 15

.github/workflows/publish-pypi.yml

@@ -3,6 +3,12 @@ name: Publish to PyPI
 on:
   workflow_dispatch:
 
+# When a PR is updated, cancel the jobs from the previous version. Merges
+# do not define head_ref, so use run_id to never cancel those jobs.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   publish-pypi:
     if: github.repository == 'opendatacube/odc-geo'