From fddb6e8089474ec5a83eb9991071d36271e4699b Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Fri, 3 Oct 2025 09:16:32 +0200 Subject: [PATCH] CI: macos runners: use macos-15/macos-15-intel --- .github/workflows/ci.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5ccfed8e0..18d2b470f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -17,8 +17,8 @@ jobs: fail-fast: false matrix: os: [ - macos-13, # x64 - macos-14, # ARM + macos-15-intel, # x64 + macos-15, # ARM ubuntu-24.04, # x64 ubuntu-24.04-arm, # ARM windows-latest, @@ -26,11 +26,11 @@ jobs: # syntax explanation: # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-including-additional-values-into-combinations include: - - os: macos-13 + - os: macos-15-intel ocaml-compiler: 5.2.1 dune-profile: release artifact-folder: darwin - - os: macos-14 + - os: macos-15 ocaml-compiler: 5.2.1 dune-profile: release artifact-folder: darwinarm64