diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
index 87f7770ce..dfacdd8ae 100644
--- a/.github/workflows/kind2-ci.yml
+++ b/.github/workflows/kind2-ci.yml
@@ -11,9 +11,9 @@ jobs:
   kind2-build:
     strategy:
       matrix:
-        os: [ ubuntu-20.04, macos-12, macos-14 ]
+        os: [ ubuntu-20.04, macos-13, macos-14 ]
         include:
-          - os: macos-12
+          - os: macos-13
             pkg_update: brew update
             ocaml-version: 4.09.1
           - os: macos-14