diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 7ff8be9..ceaeeba 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -19,7 +19,7 @@ jobs: allow-prerelease-opam: 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 - name: Deps run: opam install odig trace trace-tef trace-fuchsia ppx_trace