Add cancel-in-progress

mit-plv · Oct 6, 2023 · 2830cea · 2830cea
1 parent fa8e3fc
commit 2830cea
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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