chore: bump docgen-action in push.yml too

Author: pitmonticone

.github/workflows/push.yml

@@ -61,7 +61,7 @@ jobs:
             cp paper/main.pdf docs/paper.pdf
 
       - name: Compile blueprint and documentation
-        uses: leanprover-community/docgen-action@cc833d262c7b8f179ac444cd20fde412b24b8beb # 2026-01-08
+        uses: leanprover-community/docgen-action@3dbd3475a9bc8d22fd786a8f8efe1869457da7cc # 2026-01-15
         with:
           blueprint: true
           homepage: docs