From 9566bde02026eab26acb54bdd6fa8596e7d1e964 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Fri, 3 Nov 2023 22:42:47 -0500 Subject: [PATCH] Bump macOS version in GitHub workflows --- .github/workflows/kind2-ci.yml | 4 ++-- .github/workflows/kind2-nightly.yml | 4 ++-- .github/workflows/kind2-release.yml | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml index 78bd0e552..dbf020204 100644 --- 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 index 8ab3e69b5..c6e5799a1 100644 --- 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 index 6fa115853..7b1a7727e 100644 --- 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