From 9f785f14f7b2de82ae8c05e9c07e4f8aee33af44 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 22 Aug 2024 17:17:27 -0400 Subject: [PATCH] CI: Consistently use macos-14 in all workflows (#1242) The `crux-llvm` and `crux-mir` CI workflows were using `macos-14` (i.e., ARM64), but the remaining workflows (`crucible-go`, `crucible-jvm`, and `crucible-wasm`) were using `macos-12` (i.e., X64). This updates the latter ones to use `macos-14` so that we are consistent. --- .github/workflows/crucible-go-build.yml | 2 +- .github/workflows/crucible-jvm-build.yml | 2 +- .github/workflows/crucible-wasm-build.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/crucible-go-build.yml b/.github/workflows/crucible-go-build.yml index a8018b19c..f20c0d205 100644 --- a/.github/workflows/crucible-go-build.yml +++ b/.github/workflows/crucible-go-build.yml @@ -30,7 +30,7 @@ jobs: cabal: ["3.10.3.0"] ghc: ["9.4.8", "9.6.5", "9.8.2"] include: - - os: macos-12 + - os: macos-14 cabal: 3.10.3.0 ghc: 9.8.2 - os: windows-2019 diff --git a/.github/workflows/crucible-jvm-build.yml b/.github/workflows/crucible-jvm-build.yml index 7f16b34f0..22333dfac 100644 --- a/.github/workflows/crucible-jvm-build.yml +++ b/.github/workflows/crucible-jvm-build.yml @@ -30,7 +30,7 @@ jobs: cabal: ["3.10.3.0"] ghc: ["9.4.8", "9.6.5", "9.8.2"] include: - - os: macos-12 + - os: macos-14 cabal: 3.10.3.0 ghc: 9.8.2 - os: windows-2019 diff --git a/.github/workflows/crucible-wasm-build.yml b/.github/workflows/crucible-wasm-build.yml index 73ec4621c..ffe166d62 100644 --- a/.github/workflows/crucible-wasm-build.yml +++ b/.github/workflows/crucible-wasm-build.yml @@ -30,7 +30,7 @@ jobs: cabal: ["3.10.3.0"] ghc: ["9.4.8", "9.6.5", "9.8.2"] include: - - os: macos-12 + - os: macos-14 cabal: 3.10.3.0 ghc: 9.8.2 - os: windows-2019