Merge pull request #1422 from o1-labs/copilot/fix-1421

CI: test on specific macOS versions (13, 14, 15) instead of only macos-latest

Author: dannywillems

.github/workflows/ci.yaml

@@ -181,7 +181,7 @@ jobs:
     strategy:
       fail-fast: false # Allow other platforms to continue if one fails
       matrix:
-        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-14, macos-15, macos-latest]
         ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
@@ -237,7 +237,7 @@ jobs:
     strategy:
       fail-fast: false # Allow other platforms to continue if one fails
       matrix:
-        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-14, macos-15, macos-latest]
         ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
@@ -269,7 +269,7 @@ jobs:
     strategy:
       fail-fast: false # Allow other platforms to continue if one fails
       matrix:
-        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-14, macos-15, macos-latest]
         ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
@@ -308,7 +308,7 @@ jobs:
     strategy:
       fail-fast: false # Allow other platforms to continue if one fails
       matrix:
-        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-14, macos-15, macos-latest]
         ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:

.github/workflows/test-docs-scripts.yaml

@@ -79,7 +79,7 @@ jobs:
     if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, 'test-doc-scripts')
     strategy:
       matrix:
-        os: [macos-latest]
+        os: [macos-13, macos-14, macos-15, macos-latest]
 
     steps:
       - name: Checkout repository
@@ -205,7 +205,7 @@ jobs:
     if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, 'test-doc-scripts')
     strategy:
       matrix:
-        os: [macos-latest]
+        os: [macos-13, macos-14, macos-15, macos-latest]
 
     steps:
       - name: Checkout repository
@@ -227,7 +227,7 @@ jobs:
     if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, 'test-doc-scripts')
     strategy:
       matrix:
-        os: [macos-latest, ubuntu-latest]
+        os: [macos-13, macos-14, macos-15, macos-latest, ubuntu-latest]
 
     steps:
       - name: Checkout repository

CHANGELOG.md

@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+### Changed
+
+- **CI**: Update CI to test on specific macOS versions (13, 14, 15) instead of
+  only macos-latest, providing better coverage across macOS versions that
+  developers are using ([#1421](https://github.com/o1-labs/mina-rust/pull/1421))
+
 ## v0.17.0
 
 ### OCaml node

website/docs/developers/getting-started.mdx

@@ -36,6 +36,9 @@ for the node's continued development and mainnet readiness.
 - **Operating System**: Officially supported platforms (build tested in CI):
   - Ubuntu 22.04 LTS
   - Ubuntu 24.04 LTS (x86_64 and ARM64)
+  - macOS 13 (Ventura)
+  - macOS 14 (Sonoma)
+  - macOS 15 (Sequoia)
   - macOS (latest)
   - Other Linux distributions may work but are not officially supported
   - Note: While we test compilation on all platforms, the full test suite is