Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ProTip! You can narrow down the results and go further in time using created:<2023-11-24 or the other filters available.