CI

imandra-ai · Dec 14, 2023 · 2a8d23b · 2a8d23b
1 parent e3110b7
commit 2a8d23b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -38,7 +38,10 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-depext-flags: --with-test
 
-      - run: opam pin ocaml-protoc pbrt 3.0.1 -y
+      - run: |
+          opam pin ocaml-protoc 3.0.1 -y -n
+          opam pin pbrt 3.0.1 -y -n
+          opam install ocaml-protoc pbrt -y
 
       - run: opam install . --deps-only --with-test