diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 78ee7afaac..a73d36070e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -112,6 +112,10 @@ jobs: dune-cache: true opam-pin: false + - name: Pin dune + run: | + opam pin add dune.3.17 https://github.com/ocaml/dune.git#3.17 + - run: opam install conf-pkg-config if: runner.os == 'Windows'