From a1c0e4a9e94d2faf1782e08af650a0b7861bd2ab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Wed, 26 Jun 2024 16:16:50 +0200 Subject: [PATCH] Pin dune --- .github/workflows/build.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 737b696812..3a5eaf9d47 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -89,6 +89,11 @@ jobs: dune-cache: true opam-pin: false + - name: Pin dune + run: | + opam pin add -n dune https://github.com/vouillon/dune.git#expect-test-deps + opam reinstall dune + - run: opam install conf-pkg-config if: runner.os == 'Windows'