diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 664814be1..b6baea999 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -16,30 +16,27 @@ jobs: - macos-latest - ubuntu-latest ocaml-compiler: - - 4.08.x - - 4.09.x - - 4.10.x - - 4.11.x - - 4.12.x - - 4.13.x - - 4.14.x + - "4.12" + - "4.13" + - "4.14" runs-on: ${{ matrix.os }} steps: - - name: Checkout code + - name: Checkout tree uses: actions/checkout@v4 - - name: Use OCaml ${{ matrix.ocaml-compiler }} + - name: Set-up OCaml ${{ matrix.ocaml-compiler }} uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} + allow-prerelease-opam: true opam-depext: false opam-pin: false - - name: Install OpenSSL on MacOS - run: brew install openssl@3 - if: ${{ matrix.os == 'macos-latest' }} + - name: Re-install OpenSSL on macOS + if: runner.os == 'macOS' + run: brew reinstall openssl@3.0 - run: opam install . --deps-only