diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
index dfacdd8ae..29de9ed49 100644
--- a/.github/workflows/kind2-ci.yml
+++ b/.github/workflows/kind2-ci.yml
@@ -11,7 +11,7 @@ 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
@@ -19,7 +19,7 @@ jobs:
           - 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