chore: make sure we don't depend on ocaml-protoc for regular build

imandra-ai · Feb 7, 2024 · 81d2d5c · 81d2d5c
1 parent b95eb21
commit 81d2d5c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -43,12 +43,13 @@ jobs:
       - run: |
           opam pin ocaml-protoc 3.0.1 -y -n
           opam pin pbrt 3.0.1 -y -n
-          opam install ocaml-protoc pbrt -y
+          opam install pbrt -y
 
       - run: opam install . --deps-only --with-test
 
       - run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt,opentelemetry-client-cohttp-lwt
 
+      - run: opam install ocaml-protoc
       - run: opam exec -- dune build @lint
 
       # check that nothing changed