CI: trace refactor was merged into main

This commit is contained in:
Simon Cruanes 2026-01-20 20:12:57 -05:00
parent 47ce0b2efd
commit 9af7e070b9
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -42,8 +42,8 @@ jobs:
allow-prerelease-opam: true
- run: |
opam pin trace https://github.com/ocaml-tracing/ocaml-trace.git#simon/full-refactor-open-sum-types-no-more-manual-spans -y -n
opam pin ambient-context https://github.com/ocaml-tracing/ambient-context.git#simon/simpler-interface -y -n
opam pin trace https://github.com/ocaml-tracing/ocaml-trace.git#main -y -n
opam pin https://github.com/ocaml-tracing/ambient-context.git#simon/simpler-interface -y -n
opam install pbrt.4.0 -y
opam install ambient-context