Set workflows to cancel jobs on the same branch

Docs at https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 72f7a068ce8f9613631e0c750ecb734532560e19..1dd1e94c9dc5e88794d57173a4b7ca437404f1d5 100644 (file)
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -6,6 +6,10 @@ on:
       # This should match the DOC3_BRANCH value in the psycopg-website Makefile
       - master
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref_name }}
+  cancel-in-progress: true
+
 jobs:
   docs:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 99b4f7f98158c9e95dccb5ce9f108e00e9673710..8d0ad6e4ccc207fe3134525cb7d96dbb9535fa82 100644 (file)
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -8,6 +8,10 @@ on:
       - "*"
   pull_request:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref_name }}
+  cancel-in-progress: true
+
 jobs:
   lint:
     runs-on: ubuntu-20.04

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index b423206a5c948c06cddbfc04573c8b83d89598ab..160f2f5a8879d834fc99ee053787eb8ca54886ad 100644 (file)
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -8,6 +8,11 @@ on:
       - "*"
   pull_request:
 
+concurrency:
+  # Cancel older requests of the same workflow in the same branch.
+  group: ${{ github.workflow }}-${{ github.ref_name }}
+  cancel-in-progress: true
+
 jobs:
 
   linux:  # {{{