From 3048c2048727e32ff0c082479522e8bdb4cc1b3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Tue, 11 Jun 2024 14:16:16 +0200 Subject: [PATCH] ci pin dune --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 020847de2..b6a82d1e6 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 https://github.com/ocaml/dune.git#df916e38f075cfd4ad67fe9b7eaa5711b9470966 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