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

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
doc: typo batteries test build #4927: Commit fed3af3 pushed by hargoniX
November 11, 2024 09:17 3m 51s main
main
November 11, 2024 09:17 3m 51s
doc: mathlib4_docs style setup (#230) batteries test build #4926: Commit a05c8e7 pushed by hargoniX
November 11, 2024 09:09 3m 55s main
main
November 11, 2024 09:09 3m 55s
doc: mathlib4_docs style setup batteries test build #4925: Pull request #230 synchronize by hargoniX
November 11, 2024 09:05 3m 55s doc-building-setup
doc-building-setup
November 11, 2024 09:05 3m 55s
doc: mathlib4_docs style setup batteries test build #4924: Pull request #230 opened by hargoniX
November 11, 2024 08:55 3m 52s doc-building-setup
doc-building-setup
November 11, 2024 08:55 3m 52s
feat: use lake build path for output (#228) batteries test build #4923: Commit e18c6c2 pushed by hargoniX
November 9, 2024 11:01 4m 11s main
main
November 9, 2024 11:01 4m 11s