simon/iter
1
0
Fork 0
mirror of https://github.com/c-cube/iter.git synced 2025-12-06 03:05:29 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

faster doc build

Browse source
This commit is contained in:
Simon Cruanes 2024-01-10 12:52:56 -05:00
parent d1af13a9dd
commit fc69ce4c91
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/gh-pages.yml vendored
View file

@ -18,9 +18,10 @@ jobs:
path: ~/.opam
key: opam-ubuntu-latest-4.12.0
- uses: avsm/setup-ocaml@v1
- uses: ocaml/setup-ocaml@v2
with:
ocaml-version: '4.12.0'
ocaml-compiler: '4.14.x'
allow-prerelease-opam: true
- name: Pin
run: opam pin -n .