Skip to content

Commit b6b4dc6

Browse files
authored
chore(deps): Update docgen-action (#501)
This update fixes the bug where Mathlib (and some other dependency) docs were not found in the cache. This should bring back build times down to the usual values.
1 parent e5f273f commit b6b4dc6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/push.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ jobs:
4646
- name: Upstreaming dashboard
4747
run: python3 scripts/upstreaming_dashboard.py
4848

49-
- uses: leanprover-community/docgen-action@b210116d3e6096c0c7146f7a96a6d56b6884fef5 # 2025-06-12
49+
- uses: leanprover-community/docgen-action@56dff2bb89f3e9b8c1b6d5c8410362c19de2d904 # v1
5050
with:
5151
blueprint: true
5252
homepage: docs

0 commit comments

Comments
 (0)