From 38af88ccc9a6d30778a8cc5d70e3c87381a2c67a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 5 Dec 2025 09:36:28 -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 e2ac881a..118047f1 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -42,7 +42,7 @@ jobs:
           allow-prerelease-opam: true
 
       - run: |
-          opam pin https://github.com/mransan/ocaml-protoc.git#5510694deffde13283742b8ad116fab61b65dfbc -y -n
+          opam pin pbrt 4.0 -y -n
           opam install pbrt -y
 
       # We cannot install packages that need eio on ocaml versions before 5