Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update toolchain batteries test build #4798: Commit 780bbec pushed by hargoniX
February 2, 2024 10:28 4m 33s main
main
February 2, 2024 10:28 4m 33s
chore: update toolchain batteries test build #4797: Pull request #177 opened by hargoniX
February 2, 2024 10:23 4m 41s bump-4.6
bump-4.6
February 2, 2024 10:23 4m 41s
ux: better git error message batteries test build #4796: Commit 94e1037 pushed by hargoniX
January 27, 2024 20:46 4m 56s main
main
January 27, 2024 20:46 4m 56s
spacing and width break batteries test build #4795: Commit b7fad51 pushed by hargoniX
January 13, 2024 22:39 4m 40s main
main
January 13, 2024 22:39 4m 40s
Fix over-aggressive hiding of file path in header batteries test build #4794: Pull request #176 opened by winstonyin
January 13, 2024 22:34 4m 43s winstonyin:spacing
winstonyin:spacing
January 13, 2024 22:34 4m 43s
Fix over-agressive hiding of file path batteries test build #4793: Pull request #175 synchronize by winstonyin
January 13, 2024 22:11 4m 50s winstonyin:patch-1
winstonyin:patch-1
January 13, 2024 22:11 4m 50s
doc: make requirements more clear batteries test build #4792: Commit 80ce465 pushed by hargoniX
January 13, 2024 19:15 5m 1s main
main
January 13, 2024 19:15 5m 1s
feat: render structure self references as self batteries test build #4791: Commit 21dd306 pushed by hargoniX
January 10, 2024 08:11 4m 47s main
main
January 10, 2024 08:11 4m 47s
fix: DOCGEN_SOURCE -> DOCGEN_SRC to match code in README batteries test build #4790: Commit 29f7f43 pushed by hargoniX
January 8, 2024 23:09 4m 43s main
main
January 8, 2024 23:09 4m 43s
adjust font-size batteries test build #4788: Commit d82d610 pushed by hargoniX
January 7, 2024 12:17 4m 34s main
main
January 7, 2024 12:17 4m 34s
Remove fixed font-size batteries test build #4787: Pull request #173 synchronize by winstonyin
January 6, 2024 21:12 4m 36s winstonyin:patch-1
winstonyin:patch-1
January 6, 2024 21:12 4m 36s
perf: balance the debounce time properly batteries test build #4775: Commit 7b23eaa pushed by hargoniX
January 4, 2024 21:34 4m 46s main
main
January 4, 2024 21:34 4m 46s
perf: reduce the search debounce to realtime batteries test build #4774: Commit ed9a8cf pushed by hargoniX
January 4, 2024 10:35 4m 45s main
main
January 4, 2024 10:35 4m 45s
feat: Let DOCGEN_SOURCE environment variable control source. batteries test build #4773: Commit eab9173 pushed by hargoniX
December 31, 2023 23:26 4m 31s main
main
December 31, 2023 23:26 4m 31s
feat: Add support for vscode://file/ source links batteries test build #4772: Pull request #171 synchronize by joehendrix
December 31, 2023 21:53 4m 17s joehendrix:vscode_source
joehendrix:vscode_source
December 31, 2023 21:53 4m 17s
feat: Add support for vscode://file/ source links batteries test build #4771: Pull request #171 synchronize by joehendrix
December 26, 2023 21:51 4m 28s joehendrix:vscode_source
joehendrix:vscode_source
December 26, 2023 21:51 4m 28s
feat: Add support for vscode://file/ source links batteries test build #4770: Pull request #171 opened by joehendrix
December 26, 2023 21:08 4m 41s joehendrix:vscode_source
joehendrix:vscode_source
December 26, 2023 21:08 4m 41s
feat: compress module urls and importedBy info into one batteries test build #4769: Commit 86d5c21 pushed by hargoniX
December 9, 2023 23:44 5m 7s main
main
December 9, 2023 23:44 5m 7s
feat: compress module urls and importedBy info into one batteries test build #4768: Pull request #170 opened by hargoniX
December 9, 2023 23:43 5m 2s compress-declarations
compress-declarations
December 9, 2023 23:43 5m 2s
doc: fix path to root of docs batteries test build #4767: Commit 53ecc22 pushed by hargoniX
December 4, 2023 09:16 4m 54s main
main
December 4, 2023 09:16 4m 54s
feat: fix #166 batteries test build #4765: Commit 3cc5df1 pushed by hargoniX
November 24, 2023 12:45 4m 46s main
main
November 24, 2023 12:45 4m 46s
feat: fix #166 batteries test build #4764: Pull request #168 opened by hargoniX
November 24, 2023 12:40 5m 0s instances-for-empty
instances-for-empty
November 24, 2023 12:40 5m 0s
feat: show the type of exists and fun arguments batteries test build #4763: Commit e5118b8 pushed by hargoniX
November 24, 2023 12:18 4m 48s main
main
November 24, 2023 12:18 4m 48s
feat: show the type of exists and fun arguments batteries test build #4762: Pull request #167 opened by hargoniX
November 24, 2023 12:13 4m 49s binder-types
binder-types
November 24, 2023 12:13 4m 49s
fix: we want to catch runtime exceptions in doc-gen4 batteries test build #4761: Commit e966ab8 pushed by hargoniX
November 18, 2023 22:58 4m 37s main
main
November 18, 2023 22:58 4m 37s