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
mit-plv · Mar 30, 2024 · b8f7dc8 · b8f7dc8
1 parent 33e9ac8
commit b8f7dc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)