chore: CI

This commit is contained in:
Simon Cruanes 2025-09-15 10:23:19 -04:00
parent 0c275b3aab
commit 9a77dad2fd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -19,7 +19,7 @@ jobs:
allow-prerelease-opam: true allow-prerelease-opam: true
dune-cache: true dune-cache: true
- run: opam pin odoc 2.2.2 -y -n - run: opam pin odoc 3.1.0 -y -n
# crash with 2.4, see https://github.com/ocaml/odoc/issues/1066 # crash with 2.4, see https://github.com/ocaml/odoc/issues/1066
- name: Deps - name: Deps
run: opam install odig trace trace-tef trace-fuchsia ppx_trace run: opam install odig trace trace-tef trace-fuchsia ppx_trace