Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
225 workflow runs
225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #269 from leanprover/bump_to_v4.18.0-rc1 batteries test build #5022: Commit 1b489cd pushed by kim-em
March 3, 2025 12:24 2m 56s main
main
March 3, 2025 12:24 2m 56s
chore: bump toolchain to v4.18.0-rc1 batteries test build #5021: Pull request #269 synchronize by jcommelin
March 3, 2025 12:20 3m 4s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 12:20 3m 4s
chore: bump toolchain to v4.18.0-rc1 batteries test build #5020: Pull request #269 synchronize by kim-em
March 3, 2025 12:03 59s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 12:03 59s
chore: bump toolchain to v4.18.0-rc1 batteries test build #5019: Pull request #269 opened by kim-em
March 3, 2025 11:53 1m 15s bump_to_v4.18.0-rc1
bump_to_v4.18.0-rc1
March 3, 2025 11:53 1m 15s
Merge pull request #268 from leanprover/bump_to_v4.17.0 batteries test build #5018: Commit b031cb6 pushed by jcommelin
March 3, 2025 10:00 2m 56s main
main
March 3, 2025 10:00 2m 56s
chore: bump toolchain to v4.17.0 batteries test build #5017: Pull request #268 opened by jcommelin
March 3, 2025 09:39 3m 1s bump_to_v4.17.0
bump_to_v4.17.0
March 3, 2025 09:39 3m 1s
fix: do not escape module names for html files (#267) batteries test build #5016: Commit 32578e5 pushed by hargoniX
February 26, 2025 13:43 2m 44s main
main
February 26, 2025 13:43 2m 44s
fix: do not escape module names for html files batteries test build #5015: Pull request #267 opened by eric-wieser
February 16, 2025 15:53 2m 49s eric-wieser:no-path-escaping
eric-wieser:no-path-escaping
February 16, 2025 15:53 2m 49s
fix: prevent double anchoring (#266) batteries test build #5014: Commit e3f8a87 pushed by hargoniX
February 4, 2025 16:06 2m 19s main
main
February 4, 2025 16:06 2m 19s
fix: prevent double anchoring batteries test build #5013: Pull request #266 opened by kmill
February 4, 2025 15:01 2m 33s kmill_no_nested_a
kmill_no_nested_a
February 4, 2025 15:01 2m 33s
Merge pull request #265 from leanprover/bump_bibtexquery batteries test build #5012: Commit f4d7240 pushed by kim-em
February 3, 2025 23:47 2m 16s main
main
February 3, 2025 23:47 2m 16s
chore: move BibtexQuery back to master batteries test build #5011: Pull request #265 opened by kim-em
February 3, 2025 23:08 2m 9s bump_bibtexquery
bump_bibtexquery
February 3, 2025 23:08 2m 9s
Merge pull request #264 from leanprover/bump_to_v4.17.0-rc1 batteries test build #5010: Commit 1213642 pushed by jcommelin
February 3, 2025 14:33 2m 55s main
main
February 3, 2025 14:33 2m 55s
chore: bump toolchain to v4.17.0-rc1 batteries test build #5009: Pull request #264 synchronize by kim-em
February 3, 2025 13:58 2m 49s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 13:58 2m 49s
chore: bump toolchain to v4.17.0-rc1 batteries test build #5008: Pull request #264 synchronize by kim-em
February 3, 2025 13:49 56s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 13:49 56s
chore: bump toolchain to v4.17.0-rc1 batteries test build #5007: Pull request #264 opened by jcommelin
February 3, 2025 13:30 28s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 13:30 28s
Merge pull request #263 from leanprover/bump_to_v4.16.0 batteries test build #5006: Commit af3e104 pushed by jcommelin
February 3, 2025 08:36 2m 35s main
main
February 3, 2025 08:36 2m 35s
chore: bump toolchain to v4.16.0 batteries test build #5005: Pull request #263 synchronize by jcommelin
February 3, 2025 08:33 2m 49s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 08:33 2m 49s
chore: bump toolchain to v4.16.0 batteries test build #5004: Pull request #263 opened by jcommelin
February 3, 2025 08:30 2m 40s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 08:30 2m 40s
feat: abbreviate names based on the namespace of the declaration (#260) batteries test build #5003: Commit e9d995e pushed by hargoniX
January 20, 2025 20:38 2m 17s main
main
January 20, 2025 20:38 2m 17s
Merge pull request #262 from leanprover/bump_to_v4.16.0-rc2 batteries test build #5002: Commit 8c60540 pushed by kim-em
January 14, 2025 02:38 2m 36s main
main
January 14, 2025 02:38 2m 36s
chore: bump to v4.16.0-rc2 batteries test build #5001: Pull request #262 opened by kim-em
January 14, 2025 02:32 2m 38s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 02:32 2m 38s
refactor: hyperlink more notations such as field notations batteries test build #5000: Pull request #261 synchronize by Komyyy
January 10, 2025 06:16 2m 4s Komyyy:hyperlink
Komyyy:hyperlink
January 10, 2025 06:16 2m 4s
refactor: hyperlink more notations such as field notations batteries test build #4999: Pull request #261 synchronize by Komyyy
January 10, 2025 05:33 2m 23s Komyyy:hyperlink
Komyyy:hyperlink
January 10, 2025 05:33 2m 23s
refactor: hyperlink more notations such as field notations batteries test build #4998: Pull request #261 opened by Komyyy
January 10, 2025 05:20 2m 12s Komyyy:hyperlink
Komyyy:hyperlink
January 10, 2025 05:20 2m 12s