CI

imandra-ai · Feb 9, 2024 · 086c7a7 · 086c7a7
1 parent 97daf5b
commit 086c7a7
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -49,6 +49,12 @@ jobs:
 
       - run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt,opentelemetry-client-cohttp-lwt
 
+      - run: opam install trace.0.4
+      - run: opam exec dune build @install -p opentelemetry
+
+      - run: opam install trace.0.6
+      - run: opam exec dune build @install -p opentelemetry
+
       - run: opam install ocaml-protoc
       - run: opam exec -- dune build @lint