diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 51b47eb4a..22f1f9523 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -51,11 +51,11 @@ jobs: - run: eval $(opam env) - run: rm -fr runtime32 - if: ${{ matrix.os == 'macos-latest' }} + if: ${{ matrix.os == 'macos-latest' || matrix.os == 'macos-13' }} - run: opam exec -- dune b src runtime runtime32 stdlib tutorial - if: ${{ matrix.os != 'macos-latest' }} + if: ${{ matrix.os != 'macos-latest' && matrix.os != 'macos-13'}} - run: opam exec -- dune b src runtime stdlib tutorial - if: ${{ matrix.os == 'macos-latest' }} + if: ${{ matrix.os == 'macos-latest' || matrix.os == 'macos-13' }} - run: opam exec -- dune b @install --profile=release - run: opam exec -- dune install --profile=release - run: opam exec -- dune test stdlib/regression