From bfe313003c27670da3b752baf097f8d3a576873e Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Tue, 14 Jan 2025 21:53:31 +0100
Subject: [PATCH 1/4] Use ubuntu-22.04 in CI

---
 .github/workflows/opam-build.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/opam-build.yml b/.github/workflows/opam-build.yml
index 46ca966..763e468 100644
--- a/.github/workflows/opam-build.yml
+++ b/.github/workflows/opam-build.yml
@@ -18,7 +18,7 @@ jobs:
   # This workflow contains a single job called "build"
   build:
     # The type of runner that the job will run on
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
@@ -47,4 +47,3 @@ jobs:
           opam repo add coq-released https://coq.inria.fr/opam/released
           opam install coq.8.18.0 coq-equations.1.3+8.18 coq-mathcomp-ssreflect.2.1.0 coq-mathcomp-analysis.1.0.0 coq-extructures.0.4.0 coq-deriving.0.2.0
           opam exec -- make -j4
-

From ffe3b53e280f472b9f0af7a2ee3643502b757c4d Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Tue, 14 Jan 2025 21:54:29 +0100
Subject: [PATCH 2/4] Update checkout and cache actions

---
 .github/workflows/opam-build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/opam-build.yml b/.github/workflows/opam-build.yml
index 763e468..ddaf481 100644
--- a/.github/workflows/opam-build.yml
+++ b/.github/workflows/opam-build.yml
@@ -25,7 +25,7 @@ jobs:
 
       - name: Try to restore opam cache
         id: opam-cache
-        uses: actions/cache@v2
+        uses: actions/cache@v4
         with:
           path: "~/.opam"
           key: opam-${{github.base_ref}}-${{github.ref}}
@@ -39,7 +39,7 @@ jobs:
 
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - name: Checkout repo
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       # Runs a set of commands using the runners shell
       - name: Build

From 71f6c63d75a9f390f011532d991929c27be18eb1 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Tue, 14 Jan 2025 21:56:06 +0100
Subject: [PATCH 3/4] Bump OCaml compiler version

---
 .github/workflows/opam-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/opam-build.yml b/.github/workflows/opam-build.yml
index ddaf481..fcd4e77 100644
--- a/.github/workflows/opam-build.yml
+++ b/.github/workflows/opam-build.yml
@@ -35,7 +35,7 @@ jobs:
       - name: Install OCaml
         uses: avsm/setup-ocaml@v1
         with:
-          ocaml-version: 4.14.1
+          ocaml-version: 4.14.2
 
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - name: Checkout repo

From 7f1c104b92b34cb491405fa494eaf6794580ef28 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Tue, 14 Jan 2025 22:02:54 +0100
Subject: [PATCH 4/4] Add concurrency group to opam build workflow

---
 .github/workflows/opam-build.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/opam-build.yml b/.github/workflows/opam-build.yml
index fcd4e77..a755f87 100644
--- a/.github/workflows/opam-build.yml
+++ b/.github/workflows/opam-build.yml
@@ -13,6 +13,11 @@ on:
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
+# Concurrency group used to cancel old runs
+concurrency:
+  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
+  cancel-in-progress: true
+
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
   # This workflow contains a single job called "build"