Merge pull request #1113 from daniel-larraz/ci-ubuntu-latest

Use ubuntu-latest in CI
kind2-mc · Dec 4, 2024 · 36ce56e · 36ce56e
2 parents 98fc052 + 7d87326
commit 36ce56e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
@@ -11,15 +11,15 @@ jobs:
   kind2-build:
     strategy:
       matrix:
-        os: [ ubuntu-20.04, macos-13, macos-14 ]
+        os: [ ubuntu-latest, macos-13, macos-14 ]
         include:
           - os: macos-13
             pkg_update: brew update
             ocaml-version: 4.09.1
           - os: macos-14
             pkg_update: brew update
             ocaml-version: 4.10.2 # Oldest version available
-          - os: ubuntu-20.04
+          - os: ubuntu-latest
             pkg_update: sudo apt-get update -y
             ocaml-version: 4.09.1