diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 70980ed5..93d6c1f5 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -2,6 +2,7 @@ name: CI (Coq)
 
 on:
   push:
+    branches: [ master ]
   pull_request:
   workflow_dispatch:
 
@@ -24,6 +25,11 @@ jobs:
           - { COQ_VERSION: "8.11.2", TARGETS: "fiat-core parsers"                , FLAGS: "PROFILE=1", NJOBS: "2", COQ_PACKAGE: "coq-8.11.2 libcoq-8.11.2-ocaml-dev"   , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-05" }
 
     env: ${{ matrix.env }}
+    name: ${{ matrix.env.COQ_VERSION }}
+
+    concurrency:
+      group: ${{ github.workflow }}-${{ matrix.env.COQ_VERSION }}-${{ github.head_ref || github.run_id }}
+      cancel-in-progress: true
 
     runs-on: ubuntu-20.04
 
diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
index 9ce193f7..cd1218cb 100644
--- a/.github/workflows/docker-coq.yml
+++ b/.github/workflows/docker-coq.yml
@@ -2,6 +2,7 @@ name: CI (Coq, docker)
 
 on:
   push:
+    branches: [ master ]
   pull_request:
   workflow_dispatch:
 
@@ -12,6 +13,12 @@ jobs:
       matrix:
         coq-version: [ "dev" , "8.18" , "8.17" , "8.16" ]
 
+    name: ${{ matrix.coq-version }}
+
+    concurrency:
+      group: ${{ github.workflow }}-${{ matrix.coq-version }}-${{ github.head_ref || github.run_id }}
+      cancel-in-progress: true
+
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4