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

fix CI

Browse source
This commit is contained in:
Simon Cruanes 2025-02-04 22:01:47 -05:00
parent fc69ce4c91
commit f9c6c077c6
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -11,14 +11,7 @@ jobs:
steps: steps:
- uses: actions/checkout@main - uses: actions/checkout@main
- name: Cache opam - uses: ocaml/setup-ocaml@v3
id: cache-opam
uses: actions/cache@v2
with:
path: ~/.opam
key: opam-ubuntu-latest-4.12.0
- uses: ocaml/setup-ocaml@v2
with: with:
ocaml-compiler: '4.14.x' ocaml-compiler: '4.14.x'
allow-prerelease-opam: true allow-prerelease-opam: true

2
.github/workflows/main.yml vendored
View file

@ -21,7 +21,7 @@ jobs:
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- uses: ocaml/setup-ocaml@v2 - uses: ocaml/setup-ocaml@v3
with: with:
ocaml-compiler: ${{ matrix.ocaml-compiler }} ocaml-compiler: ${{ matrix.ocaml-compiler }}
allow-prerelease-opam: true allow-prerelease-opam: true