From 4354d7fab2a8ca6a63d22e41b8e4a30d7c50855d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Tue, 11 Jun 2024 12:31:33 +0200 Subject: [PATCH] Fix CI by pinning ocaml-index This pin should be removed after the release --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e1c81f68f..020847de2 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -63,6 +63,7 @@ jobs: run: | opam depext conf-jq --yes # opam depext bug opam pin menhirLib 20201216 --no-action + opam pin ocaml-index.1.0 https://github.com/voodoos/ocaml-index.git --ignore-pin-depends --ignore-constraints-on=merlin-lib opam install --yes ppx_string ppx_compare opam install . --deps-only --with-test --yes