From 92b34d581899dad064ed25fc51d40009a6004520 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 20 Sep 2024 11:15:06 -0700 Subject: [PATCH] install dune separately to avoid language parsing issues --- .github/workflows/coq-docker.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index d28ac7a8aa..310f613e3c 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -273,10 +273,10 @@ jobs: opam update -y 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 dune + run: opam install -y dune - name: install wasm_of_ocaml - run: | - eval $(opam env) - opam install -y wasm_of_ocaml-compiler ocamlfind + run: opam install -y wasm_of_ocaml-compiler ocamlfind - name: echo build params run: etc/ci/describe-system-config.sh - name: Download a Build Artifact