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 b9a50aaefee01c3432429557f57fda2db8e345e1..adc29cf4d8f381be336caec5903aa4ea49d87ccc 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 3e6ec0565ac1d2e0c41ce7267ef544256cd81bea..c01b99adf9d4ba52257b55ffb805c769dc1d17ae 100644 (file)
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -10,6 +10,11 @@ on:
   schedule:
     - cron: '48 6 * * *'
 
+concurrency:
+  # Cancel older requests of the same workflow in the same branch.
+  group: ${{ github.workflow }}-${{ github.ref_name }}
+  cancel-in-progress: true
+
 jobs:
 
   linux:  # {{{