Fix wasm_of_ocaml version, hopefully (#1986)

As per the README on https://github.com/ocaml-wasm/wasm_of_ocaml
mit-plv · Nov 11, 2024 · e61d78e · e61d78e
1 parent c43d00d
commit e61d78e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -271,8 +271,8 @@ jobs:
       run: |
         eval $(opam env)
         opam update -y
-        opam pin add -y --no-action --with-version 3.17 '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
+        opam pin add -y --no-action --with-version 3.17 https://github.com/ocaml/dune.git
+        opam pin add -y --no-action --with-version 5.8.2-wasm https://github.com/ocaml-wasm/wasm_of_ocaml.git
     - name: install wasm_of_ocaml
       run: |
         eval $(opam env)