From b8f7dc888fb9704f653fb91beb713e81e7ca9e22 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 29 Mar 2024 18:48:26 -0700 Subject: [PATCH] Update coq-docker.yml: Bump binaryen vesion (#1842) As per https://github.com/mit-plv/fiat-crypto/actions/runs/8482730755/job/23245208658?pr=1841#step:7:95 --- .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 256f198794..28680c4b76 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -239,7 +239,7 @@ jobs: uses: acifani/setup-tinygo@v2 with: tinygo-version: '0.30.0' - binaryen-version: '116' + binaryen-version: '117' - name: set up custom dune and wasm_of_ocaml run: | eval $(opam env)