change path for patch and apply patch from github

Geometer1729 · Geometer1729 · commit 7e99bba3538b · 2024-12-18T15:47:09.000-05:00
diff --git a/.github/workflows/build-bindings.yml b/.github/workflows/build-bindings.yml
@@ -48,9 +48,9 @@ jobs:
         run: |
           cd src/bindings
           git add .
-          git diff HEAD > bindings.patch
+          git diff HEAD > ../../bindings.patch
       - name: Upload patch
         uses: actions/upload-artifact@v4
         with:
           name: bindings.patch
-          path: src/bindings/bindings.patch
+          path: bindings.patch
diff --git a/src/bindings b/src/bindings
@@ -1 +1 @@
-Subproject commit 74ac5f5e055b66a92cf88b6d9970d5103f1dbaaa
+Subproject commit 58e02003f5a7889cf17025762ebfc81ac0d4b3d3
