chore: try to fix github page

This commit is contained in:
Simon Cruanes 2022-10-26 09:52:16 -04:00
parent 8a52da6446
commit 50e7414f12
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -19,10 +19,10 @@ jobs:
- run: sudo apt-get update && echo 1
if: ${{ matrix.os == 'ubuntu-latest' }}
- name: Use OCaml ${{ matrix.ocaml-compiler }}
- name: Use OCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
ocaml-compiler: 4.13.x
opam-depext-flags: --with-test
- run: opam install . --with-doc --deps-only --with-test