Bump macOS version in GitHub workflows

daniel-larraz · Nov 4, 2023 · 9566bde · 9566bde
1 parent c1dcf8f
commit 9566bde
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
@@ -11,10 +11,10 @@ jobs:
   kind2-build:
     strategy:
       matrix:
-        os: [ ubuntu-20.04, macos-11 ]
+        os: [ ubuntu-20.04, macos-12 ]
         ocaml-version: [ 4.09.1 ]
         include:
-          - os: macos-11
+          - os: macos-12
             pkg_update: brew update
             z3_install: brew install z3
           - os: ubuntu-20.04

diff --git a/.github/workflows/kind2-nightly.yml b/.github/workflows/kind2-nightly.yml
@@ -54,7 +54,7 @@ jobs:
       matrix: # Single configuration
         ocaml-version: [ 4.14.1 ]
         # Only matrix variables can be used at runs-on
-        os: [ macos-11 ]
+        os: [ macos-12 ]
 
     runs-on: ${{ matrix.os }}
 
@@ -115,7 +115,7 @@ jobs:
     needs: [get-ready-release]
     strategy:
       matrix:
-        version: [linux, macos-11]
+        version: [linux, macos-12]
 
     steps:
     - name: Download binary

diff --git a/.github/workflows/kind2-release.yml b/.github/workflows/kind2-release.yml
@@ -54,7 +54,7 @@ jobs:
       matrix: # Single configuration
         ocaml-version: [ 4.14.1 ]
         # Only matrix variables can be used at runs-on
-        os: [ macos-11 ]
+        os: [ macos-12 ]
 
     runs-on: ${{ matrix.os }}
 
@@ -108,7 +108,7 @@ jobs:
     needs: [create-new-release]
     strategy:
       matrix:
-        version: [linux, macos-11]
+        version: [linux, macos-12]
 
     steps:
     - name: Download binary