chore: CI

This commit is contained in:
Simon Cruanes 2025-01-29 13:00:01 -05:00
parent 0faaf35969
commit 742e51df97
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 6 additions and 5 deletions

View file

@ -18,9 +18,9 @@ jobs:
path: ~/.opam path: ~/.opam
key: opam-ubuntu-latest-4.12.0 key: opam-ubuntu-latest-4.12.0
- uses: ocaml/setup-ocaml@v2 - uses: ocaml/setup-ocaml@v3
with: with:
ocaml-compiler: '5.0.x' ocaml-compiler: '5.03'
- name: Pin - name: Pin
run: opam pin -n . run: opam pin -n .

View file

@ -16,12 +16,13 @@ jobs:
# - macos-latest # build issues with `ar` (!!!) # - macos-latest # build issues with `ar` (!!!)
#- windows-latest # certificate problem #- windows-latest # certificate problem
ocaml-compiler: ocaml-compiler:
- 4.03.x - 4.08
- 4.12.x - 4.12
- 5.03
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 }}
- run: opam pin -n . - run: opam pin -n .