From e9dfe98628a18eba12fe186966963a23cdcec3c5 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Wed, 26 Jun 2024 15:59:23 +0200
Subject: [PATCH] Cancel duplicate/previous CI runs

---
 .github/workflows/build.yml         | 3 +++
 .github/workflows/lint-opam.yml     | 3 +++
 .github/workflows/refresh-cache.yml | 3 +++
 3 files changed, 9 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 36862917..ac86c77d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,6 +20,9 @@ on:
     - 'LICENSE'
     - 'papers/**'
     - 'extra/docker/**'
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
 permissions:
   contents: read
 env:
diff --git a/.github/workflows/lint-opam.yml b/.github/workflows/lint-opam.yml
index 8b100a71..a651b8e8 100644
--- a/.github/workflows/lint-opam.yml
+++ b/.github/workflows/lint-opam.yml
@@ -3,6 +3,9 @@ on:
   pull_request:
     paths:
     - '**.opam'
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
 permissions:
   contents: read
 jobs:
diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml
index e4951bc4..49a81d6a 100644
--- a/.github/workflows/refresh-cache.yml
+++ b/.github/workflows/refresh-cache.yml
@@ -2,6 +2,9 @@ name: Refresh cache
 on:
   schedule:
     - cron: 0 1 * * MON
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
 permissions:
   contents: read
 env: