From ee144aec22ac8d010455f62f70338a1fa6cfd052 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 17 Jan 2026 09:58:49 -0500
Subject: [PATCH] use an opam pin in CI

---
 .github/workflows/main.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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: |