chore: bump docgen-action to fix key issue

Author: pitmonticone

.github/workflows/push_pr.yml

@@ -36,7 +36,7 @@ jobs:
         run: env LEAN_ABORT_ON_PANIC=1 ~/.elan/bin/lake exe runLinter Carleson
 
       - 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