Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: reintroduce basic definition lemmas batteries test build #4737: Commit 402cfda pushed by hargoniX
October 8, 2023 09:38 9m 15s main
main
October 8, 2023 09:38 9m 15s
fix: trace lake jobs properly batteries test build #4736: Commit 3a9cfab pushed by hargoniX
October 8, 2023 09:30 7m 57s main
main
October 8, 2023 09:30 7m 57s
feat: Always document the transitive closure of a module batteries test build #4735: Commit fa8c9d7 pushed by hargoniX
October 7, 2023 19:08 7m 30s main
main
October 7, 2023 19:08 7m 30s
feat: Respect srcDir configuration in lake batteries test build #4734: Commit 649e779 pushed by hargoniX
September 27, 2023 07:52 11m 17s main
main
September 27, 2023 07:52 11m 17s
ux: better git error reporting batteries test build #4733: Commit e1bd706 pushed by hargoniX
September 26, 2023 21:18 7m 28s main
main
September 26, 2023 21:18 7m 28s
feat: add jump-src.js for #src links batteries test build #4732: Commit 9687050 pushed by hargoniX
September 21, 2023 09:38 7m 56s main
main
September 21, 2023 09:38 7m 56s
feat: add jump-src.js for #src links batteries test build #4731: Pull request #154 opened by digama0
September 21, 2023 09:30 7m 52s digama0:jump_src
digama0:jump_src
September 21, 2023 09:30 7m 52s
fix: don't fetch unused cache, FF fixes batteries test build #4730: Commit 8000418 pushed by hargoniX
September 21, 2023 07:24 8m 48s main
main
September 21, 2023 07:24 8m 48s
fix: don't fetch unused cache, FF fixes batteries test build #4729: Pull request #153 opened by digama0
September 21, 2023 01:43 16m 41s digama0:ff_fix
digama0:ff_fix
September 21, 2023 01:43 16m 41s
fix navbar break batteries test build #4728: Commit cf072e2 pushed by hargoniX
September 18, 2023 21:55 8m 48s main
main
September 18, 2023 21:55 8m 48s
feat: expand the current file in the navbar batteries test build #4727: Pull request #152 synchronize by alexjbest
September 18, 2023 21:11 10m 18s alexjbest:alexjbest/expand
alexjbest:alexjbest/expand
September 18, 2023 21:11 10m 18s
feat: expand the current file in the navbar batteries test build #4726: Pull request #152 opened by alexjbest
September 18, 2023 21:09 7m 45s alexjbest:alexjbest/expand
alexjbest:alexjbest/expand
September 18, 2023 21:09 7m 45s
chore: debug batteries test build #4725: Commit 34185d4 pushed by hargoniX
September 18, 2023 20:54 9m 58s main
main
September 18, 2023 20:54 9m 58s
chore: update toolchain batteries test build #4724: Commit 7e89b46 pushed by hargoniX
September 18, 2023 20:08 7m 30s main
main
September 18, 2023 20:08 7m 30s
feat: autolink references to files batteries test build #4723: Commit 19568c0 pushed by hargoniX
September 16, 2023 12:37 2m 19s main
main
September 16, 2023 12:37 2m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-09-16 or the other filters available.