fast CI

imandra-ai · Dec 15, 2023 · 936c74e · 936c74e
1 parent e6405ef
commit 936c74e
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -35,13 +35,18 @@ jobs:
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-depext-flags: --with-test
+          dune-cache: true
+          allow-prerelease-opam: true
+
+      - 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
 
       - 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