Update coq-docker.yml: Bump binaryen vesion

As per https://github.com/mit-plv/fiat-crypto/actions/runs/8482730755/job/23245208658?pr=1841#step:7:95
mit-plv · Mar 29, 2024 · 2b329d7 · 2b329d7
1 parent 0698071
commit 2b329d7
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)