From 26434f18f53ae883c4625674e29aa1708ab2a49a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 19 Sep 2024 16:56:37 -0700 Subject: [PATCH] Update coq-docker.yml --- .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 2e979c8bec..6e4cdb45bd 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 --no-action --with-version 3.16 'https://github.com/ocaml-wasm/dune.git#wasm' + opam pin add -y --no-action --with-version 3.17 '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: |