Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: we want to catch runtime exceptions in doc-gen4 batteries test build #4760: Commit 34f2748 pushed by hargoniX
November 18, 2023 22:57 4m 30s main
main
November 18, 2023 22:57 4m 30s
fix: try to increase heartbeat limit further batteries test build #4759: Commit d70b47c pushed by hargoniX
November 18, 2023 22:43 4m 19s main
main
November 18, 2023 22:43 4m 19s
fix: temporarily disable equation rendering batteries test build #4758: Commit 8c9e5cf pushed by hargoniX
November 18, 2023 22:11 4m 24s main
main
November 18, 2023 22:11 4m 24s
doc: Clearly spell out what happens on projects that fail to compile batteries test build #4757: Pull request #164 synchronize by hargoniX
November 18, 2023 22:07 4m 11s doc-failing-projects
doc-failing-projects
November 18, 2023 22:07 4m 11s
doc: Clearly spell out what happens on projects that fail to compile batteries test build #4756: Pull request #164 synchronize by hargoniX
November 18, 2023 21:14 3m 59s doc-failing-projects
doc-failing-projects
November 18, 2023 21:14 3m 59s
doc: Clearly spell out what happens on projects that fail to compile batteries test build #4755: Pull request #164 synchronize by hargoniX
November 18, 2023 21:04 3m 47s doc-failing-projects
doc-failing-projects
November 18, 2023 21:04 3m 47s
doc: Clearly spell out what happens on projects that fail to compile batteries test build #4754: Pull request #164 opened by hargoniX
November 18, 2023 21:00 1m 42s doc-failing-projects
doc-failing-projects
November 18, 2023 21:00 1m 42s
feat: type doc right below initial type naming batteries test build #4753: Commit 96147ea pushed by hargoniX
November 13, 2023 22:19 4m 18s main
main
November 13, 2023 22:19 4m 18s
feat: docs below names batteries test build #4752: Pull request #162 opened by hargoniX
November 13, 2023 22:14 4m 25s docs-below-names
docs-below-names
November 13, 2023 22:14 4m 25s
feat: consistent font inheritance batteries test build #4751: Commit 162de4a pushed by hargoniX
November 11, 2023 16:18 6m 8s main
main
November 11, 2023 16:18 6m 8s
feat: make @YaelDillies happier batteries test build #4750: Commit 756e5a0 pushed by hargoniX
November 11, 2023 15:03 4m 23s main
main
November 11, 2023 15:03 4m 23s
feat: totally uncontroversial font change batteries test build #4749: Commit 78e472a pushed by hargoniX
November 11, 2023 14:41 4m 5s main
main
November 11, 2023 14:41 4m 5s
feat: totally uncontroversial font change batteries test build #4748: Commit 1731392 pushed by hargoniX
November 11, 2023 14:34 6m 24s main
main
November 11, 2023 14:34 6m 24s
chore: update dependencies batteries test build #4747: Commit e859e2f pushed by hargoniX
November 5, 2023 09:59 -3339s main
main
November 5, 2023 09:59 -3339s
feat: use Kyle Miller's instance analysis algorithm batteries test build #4746: Commit ec2561f pushed by hargoniX
November 5, 2023 09:57 -3242s main
main
November 5, 2023 09:57 -3242s
feat: use Kyle Miller's instance analysis algorithm batteries test build #4745: Pull request #159 opened by hargoniX
November 5, 2023 09:38 9m 5s instances
instances
November 5, 2023 09:38 9m 5s
chore: bump lean-toolchain to v4.2.0-rc4 batteries test build #4744: Commit 8bccb92 pushed by kim-em
October 21, 2023 22:25 7m 27s main
main
October 21, 2023 22:25 7m 27s
fix: Second miss-handling of free variables batteries test build #4743: Commit 0f1b99c pushed by hargoniX
October 17, 2023 19:32 7m 44s main
main
October 17, 2023 19:32 7m 44s
fix: First miss-handling of free variables batteries test build #4742: Commit bc9cba1 pushed by hargoniX
October 17, 2023 18:21 7m 21s main
main
October 17, 2023 18:21 7m 21s
Update DocGen4/Output/DocString.lean batteries test build #4741: Commit 5b4d779 pushed by hargoniX
October 16, 2023 18:42 7m 3s main
main
October 16, 2023 18:42 7m 3s
feat: html escape docstrings batteries test build #4740: Pull request #157 synchronize by alexjbest
October 16, 2023 16:29 8m 16s alexjbest:alexjbest/escape
alexjbest:alexjbest/escape
October 16, 2023 16:29 8m 16s
feat: html escape docstrings batteries test build #4739: Pull request #157 opened by alexjbest
October 16, 2023 16:29 7m 5s alexjbest:alexjbest/escape
alexjbest:alexjbest/escape
October 16, 2023 16:29 7m 5s
perf: Don't call Lake from within doc-gen anymore batteries test build #4738: Commit f9d9875 pushed by hargoniX
October 9, 2023 07:30 10m 52s main
main
October 9, 2023 07:30 10m 52s