From ff37936d7de7c1987af28d868b0644323a5f5309 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 15 Mar 2023 17:14:18 +0100 Subject: [PATCH] Add ocaml 5 to the CI --- .github/workflows/build.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e43a2ba..084051f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -20,6 +20,13 @@ jobs: - macos-lastest ocaml-compiler: - 4.14.x + include: + - os: ubuntu-latest + ocaml-compiler: 5.0.x + - os: macos-lastest + ocaml-compiler: 5.0.x + - os: windows-latest + ocaml-compiler: ocaml.5.0.0,ocaml-option-mingw runs-on: ${{ matrix.os }} @@ -29,12 +36,26 @@ jobs: - name: Use OCaml ${{ matrix.ocaml-compiler }} uses: ocaml/setup-ocaml@v2 + if: runner.os != 'Windows' with: ocaml-compiler: ${{ matrix.ocaml-compiler }} dune-cache: true opam-depext: true opam-depext-flags: --with-test + - name: Use OCaml ${{ matrix.ocaml-compiler }} + uses: ocaml/setup-ocaml@v2 + if: runner.os == 'Windows' + with: + ocaml-compiler: ${{ matrix.ocaml-compiler }} + opam-repositories: | + dra27: https://github.com/dra27/opam-repository.git#windows-5.0 + default: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset + opam: https://github.com/ocaml/opam-repository.git + dune-cache: true + opam-depext: true + opam-depext-flags: --with-test + - name: configure tree run: opam exec -- ./configure