Update coq-docker.yml

Pin more than just dune as per ocaml-wasm/wasm_of_ocaml#8 (comment)
mit-plv · Sep 18, 2024 · 2246243 · 2246243
1 parent 6e64f2b
commit 2246243
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -271,7 +271,7 @@ jobs:
       run: |
         eval $(opam env)
         opam update -y
-        opam pin add -y dune.3.17 'https://github.com/ocaml-wasm/dune.git#wasm_of_ocaml'
+        opam pin add -y 'https://github.com/ocaml-wasm/dune.git#wasm_of_ocaml'
         opam pin add -y --no-action --cli=2.1 --with-version 5.3.0-wasm https://github.com/ocaml-wasm/wasm_of_ocaml.git
     - name: install wasm_of_ocaml
       run: |