From 93067bf1a7b2d2f55377a35621077ba900de0d59 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 19 Sep 2024 11:35:42 -0700 Subject: [PATCH] Simpler attempt to fix wasm_of_ocaml Don't install stdune --- .github/workflows/coq-docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index 0ff70038c0..2e979c8bec 100644 --- 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 'https://github.com/ocaml-wasm/dune.git#wasm' + opam pin add -y --no-action --with-version 3.16 'https://github.com/ocaml-wasm/dune.git#wasm' opam pin add -y --no-action --cli=2.1 --with-version 5.3.0 https://github.com/ocaml-wasm/wasm_of_ocaml.git - name: install wasm_of_ocaml run: |