From f51d52abfcbb34e9cf450ef6ed2e59705ac72f7f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 3 Nov 2025 09:59:05 -0500 Subject: [PATCH] chore: CI: pin specific commit for pbrt/ocaml-protoc --- .github/workflows/main.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b25c548c..e5c227b1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -42,8 +42,7 @@ jobs: allow-prerelease-opam: true - run: | - opam pin ocaml-protoc 3.0.1 -y -n - opam pin pbrt 3.0.1 -y -n + opam pin https://github.com/mransan/ocaml-protoc.git#ea37bad918adc6c07a5437175763b32e2cab54ae -y -n opam install pbrt -y # We cannot install packages that need eio on ocaml versions before 5