fix CI
Some checks failed
build / build (4.08.x, ubuntu-latest) (push) Has been cancelled
build / build (4.14.x, ubuntu-latest) (push) Has been cancelled
build / build (5.03.x, ubuntu-latest) (push) Has been cancelled
github pages / deploy (push) Has been cancelled

This commit is contained in:
Simon Cruanes 2025-01-29 22:29:38 -05:00
parent 92999d56e8
commit 55eb9c2a2f
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 4 additions and 4 deletions

View file

@ -13,9 +13,9 @@ jobs:
uses: actions/checkout@v3
- name: Use OCaml
uses: ocaml/setup-ocaml@v2
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: 5.1.x
ocaml-compiler: 5.03.x
dune-cache: true
allow-prerelease-opam: true

View file

@ -18,7 +18,7 @@ jobs:
ocaml-compiler:
- 4.08.x
- 4.14.x
- 5.01.x
- 5.03.x
runs-on: ${{ matrix.os }}
@ -30,7 +30,7 @@ jobs:
if: ${{ matrix.os == 'ubuntu-latest' }}
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
allow-prerelease-opam: true