diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index c27a4b9d..cc3394dc 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -48,18 +48,19 @@ jobs: fail-fast: false matrix: os: - - ubuntu-latest - - macos-latest - - windows-latest + - ubuntu-24.04 + - ubuntu-24.04-arm + - macos-15 + - windows-2025 ocaml-compiler: - "5.3" allow-prerelease-opam: - false include: - - os: ubuntu-latest + - os: ubuntu-24.04 ocaml-compiler: ocaml-variants.5.3.0+options,ocaml-option-flambda allow-prerelease-opam: false - - os: ubuntu-latest + - os: ubuntu-24.04 ocaml-compiler: "5.3" allow-prerelease-opam: true