From 62e4eaa1b143f385c0db648899e4ecaee01b640a Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 16 Jan 2025 12:19:54 +0100 Subject: [PATCH] pin --- .github/workflows/build-wasm_of_ocaml.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-wasm_of_ocaml.yml b/.github/workflows/build-wasm_of_ocaml.yml index 07183748b0..64f7b1ddb7 100644 --- a/.github/workflows/build-wasm_of_ocaml.yml +++ b/.github/workflows/build-wasm_of_ocaml.yml @@ -98,7 +98,7 @@ jobs: if: runner.os == 'Windows' - name: Pin dune - run: opam pin add -n dune https://github.com/vouillon/dune.git#inline-tests-wasm + run: opam pin add -n dune https://github.com/hhugo/dune.git#shorter-path - name: Pin wasm_of_ocaml working-directory: ./wasm_of_ocaml