try to fix CI

This commit is contained in:
Simon Cruanes 2023-07-05 22:02:25 -04:00
parent b927f98490
commit c5060711ca
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -12,10 +12,10 @@ jobs:
- name: Checkout code - name: Checkout code
uses: actions/checkout@v3 uses: actions/checkout@v3
- name: Use OCaml 4.14.x - name: Use OCaml
uses: ocaml/setup-ocaml@v2 uses: ocaml/setup-ocaml@v2
with: with:
ocaml-compiler: 4.14.x ocaml-compiler: 5.0
dune-cache: true dune-cache: true
- name: Deploy odoc to GitHub Pages - name: Deploy odoc to GitHub Pages