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

typo (note that the space was not displayed) batteries test build #4952: Pull request #242 opened by madvorak
December 6, 2024 10:23 7m 22s madvorak:main
madvorak:main
December 6, 2024 10:23 7m 22s
Merge pull request #239 from leanprover/bumo_toolchain_to_v4.15.0-rc1 batteries test build #4951: Commit 099b90e pushed by kim-em
December 2, 2024 03:21 7m 43s main
main
December 2, 2024 03:21 7m 43s
chore: bump toolchain to v4.15.0-rc1 batteries test build #4950: Pull request #239 opened by kim-em
December 2, 2024 03:06 7m 34s bumo_toolchain_to_v4.15.0-rc1
bumo_toolchain_to_v4.15.0-rc1
December 2, 2024 03:06 7m 34s
Merge pull request #238 from leanprover/bump_toolchain_to_v4.14.0 batteries test build #4949: Commit 0a8cd7a pushed by kim-em
December 2, 2024 00:25 4m 15s main
main
December 2, 2024 00:25 4m 15s
chore: bump toolchain to v4.14.0 batteries test build #4948: Pull request #238 opened by kim-em
December 2, 2024 00:20 4m 17s bump_toolchain_to_v4.14.0
bump_toolchain_to_v4.14.0
December 2, 2024 00:20 4m 17s
feat: bump BibtexQuery version (#237) batteries test build #4947: Commit 059eb7e pushed by hargoniX
November 20, 2024 13:55 5m 0s main
main
November 20, 2024 13:55 5m 0s
feat: bump BibtexQuery version batteries test build #4946: Pull request #237 opened by acmepjz
November 20, 2024 09:38 5m 8s acmepjz:acmepjz_bump_bibtex_query_version
acmepjz:acmepjz_bump_bibtex_query_version
November 20, 2024 09:38 5m 8s
fix: theorem projections should not render (#236) batteries test build #4945: Commit 7b6a56e pushed by hargoniX
November 15, 2024 11:43 4m 21s main
main
November 15, 2024 11:43 4m 21s
fix: have inherited fields link to their origin (#235) batteries test build #4944: Commit 5777dc7 pushed by hargoniX
November 15, 2024 06:56 4m 12s main
main
November 15, 2024 06:56 4m 12s
fix: theorem projections should not render batteries test build #4943: Pull request #236 opened by kmill
November 15, 2024 01:47 4m 34s kmill_thm_proj
kmill_thm_proj
November 15, 2024 01:47 4m 34s
fix: have inherited fields link to their actual origin batteries test build #4942: Pull request #235 opened by kmill
November 15, 2024 00:57 4m 26s kmill_fix_field_origin
kmill_fix_field_origin
November 15, 2024 00:57 4m 26s
feat: show parents' parameters for structures (#234) batteries test build #4941: Commit b41ee51 pushed by hargoniX
November 14, 2024 20:49 4m 47s main
main
November 14, 2024 20:49 4m 47s
feat: show parents' parameters for structures batteries test build #4940: Pull request #234 opened by kmill
November 14, 2024 18:57 4m 50s kmill_extends_pretty
kmill_extends_pretty
November 14, 2024 18:57 4m 50s
Bump Lean to v4.14.0-rc2 (#233) batteries test build #4939: Commit 845244d pushed by hargoniX
November 14, 2024 14:48 4m 59s main
main
November 14, 2024 14:48 4m 59s
Bump Lean to v4.14.0-rc2 batteries test build #4938: Pull request #233 opened by pitmonticone
November 14, 2024 14:43 4m 46s pitmonticone:bump_to_v4.14.0-rc2
pitmonticone:bump_to_v4.14.0-rc2
November 14, 2024 14:43 4m 46s
feat: improvements to structure output (#232) batteries test build #4937: Commit 365c77b pushed by hargoniX
November 14, 2024 13:12 4m 18s main
main
November 14, 2024 13:12 4m 18s
feat: improvements to structure output batteries test build #4936: Pull request #232 opened by kmill
November 13, 2024 18:23 4m 16s kmill_structureinfo
kmill_structureinfo
November 13, 2024 18:23 4m 16s
feat: use the core signature delaborator (#231) batteries test build #4935: Commit 3a296bb pushed by hargoniX
November 13, 2024 08:36 4m 17s main
main
November 13, 2024 08:36 4m 17s
feat: use the core signature delaborator batteries test build #4934: Pull request #231 opened by kmill
November 12, 2024 21:50 4m 19s kmill_use_sig_delab
kmill_use_sig_delab
November 12, 2024 21:50 4m 19s
doc: more specific lake update batteries test build #4933: Commit 0334a15 pushed by hargoniX
November 12, 2024 16:07 4m 23s main
main
November 12, 2024 16:07 4m 23s
doc: more notes on sharing batteries test build #4932: Commit 6e6a825 pushed by hargoniX
November 12, 2024 08:41 3m 57s main
main
November 12, 2024 08:41 3m 57s
doc: more notes on sharing batteries test build #4931: Commit 5909beb pushed by hargoniX
November 12, 2024 08:40 3m 46s main
main
November 12, 2024 08:40 3m 46s
doc: more notes on sharing batteries test build #4930: Commit 8add673 pushed by hargoniX
November 11, 2024 18:24 3m 44s main
main
November 11, 2024 18:24 3m 44s
doc: notes on sharing batteries test build #4929: Commit b181b72 pushed by hargoniX
November 11, 2024 18:15 3m 55s main
main
November 11, 2024 18:15 3m 55s
doc: better ordering of dependencies batteries test build #4928: Commit 68943ae pushed by hargoniX
November 11, 2024 17:45 3m 53s main
main
November 11, 2024 17:45 3m 53s