diff --git a/.github/workflows/build-bindings.yml b/.github/workflows/build-bindings.yml
index 4a42d71a0..4f66ee7c6 100644
--- a/.github/workflows/build-bindings.yml
+++ b/.github/workflows/build-bindings.yml
@@ -31,7 +31,7 @@ jobs:
           #fail if this changes any files
           cd src/bindings
           echo If this check fails you can download a patch from the patch-upload job
-          echo "https://github.com/o1-labs/o1js/blob/main/README-dev.md#build-scripts"
+          echo "https://github.com/o1-labs/o1js/blob/main/README-dev.md#bindings-check-in-ci"
           git diff --exit-code
       - name: add build to gc-root if on main
         if: github.ref == 'refs/heads/main'
diff --git a/src/bindings b/src/bindings
index 74ac5f5e0..a5a0883f0 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 74ac5f5e055b66a92cf88b6d9970d5103f1dbaaa
+Subproject commit a5a0883f033afd4c9fd4bf96a5e0b8ebd92a87c9