diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8297431b..2e3e6431 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -42,8 +42,8 @@ jobs: allow-prerelease-opam: true - run: | - opam pin pbrt 4.0 -y -n - opam install pbrt -y + opam pin trace https://github.com/ocaml-tracing/ocaml-trace.git#simon/full-refactor-open-sum-types-no-more-manual-spans -y -n + opam install pbrt 4.0 -y # We cannot install packages that need eio on ocaml versions before 5 - run: |