From c4ccd6a5a593881197dd8cf1e6f18a173782f4ad Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 5 Jun 2025 13:12:10 +0200 Subject: [PATCH] Misc: pin dune --- .github/workflows/js_of_ocaml.yml | 3 +++ .github/workflows/wasm_of_ocaml.yml | 3 +++ 2 files changed, 6 insertions(+) diff --git a/.github/workflows/js_of_ocaml.yml b/.github/workflows/js_of_ocaml.yml index 57bb6c1ca3..502064f8bc 100644 --- a/.github/workflows/js_of_ocaml.yml +++ b/.github/workflows/js_of_ocaml.yml @@ -152,6 +152,9 @@ jobs: # It's faster to use a cached version run: opam install --fake binaryen-bin + - name: pin dune + run: opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2 + - run: opam install . --best-effort --solver builtin-mccs+glpk if: ${{ matrix.skip-test }} diff --git a/.github/workflows/wasm_of_ocaml.yml b/.github/workflows/wasm_of_ocaml.yml index 251ba04a6f..4f29334a79 100644 --- a/.github/workflows/wasm_of_ocaml.yml +++ b/.github/workflows/wasm_of_ocaml.yml @@ -107,6 +107,9 @@ jobs: - run: opam install conf-pkg-config conf-mingw-w64-gcc-i686 conf-mingw-w64-g++-x86_64 if: runner.os == 'Windows' + - name: pin dune + run: opam pin add dune https://github.com/hhugo/dune.git#jsoo-shape2 + - name: Pin wasm_of_ocaml working-directory: ./wasm_of_ocaml run: opam pin . -n --with-version dev