chore: fix docgen-action problem

pitmonticone · pitmonticone · commit 65a868841e33 · 2025-10-26T19:30:34.000+01:00
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -56,7 +56,7 @@ jobs:
             cd ..
             cp paper/main.pdf docs/paper.pdf
 
-      - uses: leanprover-community/docgen-action@1417dc7f90338c875da5e5870c03a287d8348896 # docgen-action#11
+      - uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
         with:
           blueprint: true
           homepage: docs
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
@@ -35,7 +35,7 @@ jobs:
       - name: Lint project
         run: env LEAN_ABORT_ON_PANIC=1 ~/.elan/bin/lake exe runLinter Carleson
 
-      - uses: leanprover-community/docgen-action@1417dc7f90338c875da5e5870c03a287d8348896 # docgen-action#11
+      - uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
         with:
           blueprint: true
           homepage: docs
