CI

imandra-ai · Dec 12, 2023 · 4aab1cd · 4aab1cd
1 parent f552211
commit 4aab1cd
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -38,12 +38,13 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-depext-flags: --with-test
 
+      - run: opam pin pbrt --dev -y -n
+      - run: opam pin ocaml-protoc --dev -y -n
+
       - 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 pin ocaml-protoc --dev -y
-
       - run: opam exec -- dune build @lint
 
       # check that nothing changed