From 99779a83c6fdc34c884f51c9dd5743cd44b2cc8e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 10 Nov 2024 20:32:28 -0800 Subject: [PATCH] Fix wasm_of_ocaml version, hopefully As per the README on https://github.com/ocaml-wasm/wasm_of_ocaml --- .github/workflows/coq-docker.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index ca1226125c..dcce0f352a 100644 --- 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)