update ocaml-protoc in CI

This commit is contained in:
Simon Cruanes 2025-11-04 14:56:00 -05:00
parent 5400f521a9
commit 2e69dd5a3d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -42,7 +42,7 @@ jobs:
allow-prerelease-opam: true allow-prerelease-opam: true
- run: | - run: |
opam pin https://github.com/mransan/ocaml-protoc.git#ad297983ff7f253f309ed77f38c2a93d0d01bfdf -y -n opam pin https://github.com/mransan/ocaml-protoc.git#82f345027a2ff2e8f09f6882fe9a93e0b863731d -y -n
opam install pbrt -y opam install pbrt -y
# We cannot install packages that need eio on ocaml versions before 5 # We cannot install packages that need eio on ocaml versions before 5

View file

@ -26,7 +26,7 @@
pbrt = prev.pbrt.overrideAttrs (oldAttrs: { pbrt = prev.pbrt.overrideAttrs (oldAttrs: {
src = pkgs.fetchgit { src = pkgs.fetchgit {
url = "https://github.com/mransan/ocaml-protoc.git"; url = "https://github.com/mransan/ocaml-protoc.git";
rev = "ad297983ff7f253f309ed77f38c2a93d0d01bfdf"; rev = "82f345027a2ff2e8f09f6882fe9a93e0b863731d";
sha256 = "sha256-KPctDwJIGi2W3HJEZBPwu9qRUrqK0azfW7VKCPxzCOU="; sha256 = "sha256-KPctDwJIGi2W3HJEZBPwu9qRUrqK0azfW7VKCPxzCOU=";
}; };
}); });