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)