From 95fe45059918d9554d8ddf7ef17cfe1af64fc9e1 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 20 Jan 2026 00:38:20 -0500
Subject: [PATCH] CI

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 2e3e6431..1828f404 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -43,7 +43,7 @@ jobs:
 
       - 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 install pbrt 4.0 -y
+          opam install pbrt.4.0 -y
 
       # We cannot install packages that need eio on ocaml versions before 5
       - run: |