From e6405ef7b6fc78d1d3f1b43ef9c3a71e74b9bdd4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 11 Dec 2023 17:13:51 -0500 Subject: [PATCH] CI --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 47f93677..71b7c121 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -40,7 +40,7 @@ jobs: - 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 2.4 -y + - run: opam pin ocaml-protoc --dev -y - run: opam exec -- dune build @lint