Use macos-11 for maximizing compatibility before release

kind2-mc · May 22, 2024 · 46b29e0 · 46b29e0
1 parent 11af530
commit 46b29e0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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-12, macos-14 ]
+        os: [ ubuntu-20.04, macos-11, macos-14 ]
         include:
           - os: macos-12
             pkg_update: brew update

diff --git a/.github/workflows/kind2-release.yml b/.github/workflows/kind2-release.yml
@@ -65,7 +65,7 @@ jobs:
     needs: [get-nightly-ready, create-new-release]
     strategy:
       matrix:
-        os: [ ubuntu-latest, macos-12, macos-14 ]
+        os: [ ubuntu-latest, macos-11, macos-14 ]
         ocaml-version: [ 5.1.1 ]
 
     runs-on: ${{ matrix.os }}