Skip to content

Actions: leanprover/doc-gen4

Actions

batteries test build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
239 workflow runs
239 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.12.0-rc1 batteries test build #4901: Pull request #217 opened by kim-em
September 3, 2024 03:43 1m 27s bump_toolchain_to_v4.12.0-rc1
bump_toolchain_to_v4.12.0-rc1
September 3, 2024 03:43 1m 27s
Merge pull request #216 from leanprover/bump_toolchain_to_v4.11.0 batteries test build #4900: Commit e490631 pushed by kim-em
September 2, 2024 01:51 3m 6s main
main
September 2, 2024 01:51 3m 6s
chore: bump toolchain to v4.11.0 batteries test build #4899: Pull request #216 synchronize by kim-em
September 2, 2024 01:48 3m 2s bump_toolchain_to_v4.11.0
bump_toolchain_to_v4.11.0
September 2, 2024 01:48 3m 2s
perf: no need to track env refcount batteries test build #4898: Commit 83f718b pushed by hargoniX
August 27, 2024 21:50 3m 4s main
main
August 27, 2024 21:50 3m 4s
chore: remove unnecessary toList batteries test build #4897: Commit d684d59 pushed by hargoniX
August 27, 2024 21:30 3m 6s main
main
August 27, 2024 21:30 3m 6s
chore: update dependencies batteries test build #4896: Commit b5c5982 pushed by hargoniX
August 20, 2024 17:15 3m 10s main
main
August 20, 2024 17:15 3m 10s
chore: update dependencies batteries test build #4895: Pull request #215 opened by pitmonticone
August 20, 2024 16:16 3m 5s pitmonticone:main
pitmonticone:main
August 20, 2024 16:16 3m 5s
feat: render std batteries test build #4894: Commit cc93eea pushed by hargoniX
August 14, 2024 10:06 3m 10s main
main
August 14, 2024 10:06 3m 10s
feat: render std batteries test build #4893: Pull request #214 opened by hargoniX
August 14, 2024 09:58 3m 10s std
std
August 14, 2024 09:58 3m 10s
bump toolchain to v4.11.0-rc2 batteries test build #4892: Commit 114aabc pushed by hargoniX
August 13, 2024 07:26 3m 3s main
main
August 13, 2024 07:26 3m 3s
bump toolchain to v4.11.0-rc2 batteries test build #4891: Pull request #213 opened by tobiasgrosser
August 13, 2024 05:49 2m 59s opencompl:bump_toolchain_to_v4.11.0-rc2
opencompl:bump_toolchain_to_v4.11.0-rc2
August 13, 2024 05:49 2m 59s
Merge pull request #212 from leanprover/bump_toolchain_to_v4.11.0-rc1 batteries test build #4890: Commit 6d8e311 pushed by kim-em
August 5, 2024 02:15 3m 7s main
main
August 5, 2024 02:15 3m 7s
chore: bump toolchain to v4.11.0-rc1 batteries test build #4889: Pull request #212 opened by kim-em
August 5, 2024 02:08 3m 15s bump_toolchain_to_v4.11.0-rc1
bump_toolchain_to_v4.11.0-rc1
August 5, 2024 02:08 3m 15s
Update Template.lean to remove poisioned polyfill.io batteries test build #4888: Commit 32c52a4 pushed by hargoniX
July 31, 2024 14:58 2m 57s main
main
July 31, 2024 14:58 2m 57s
Merge pull request #211 from leanprover/bump_v4.10.0 batteries test build #4887: Commit 593ac5b pushed by kim-em
July 31, 2024 09:57 2m 56s main
main
July 31, 2024 09:57 2m 56s
chore: bump toolchain to v4.10.0 batteries test build #4886: Pull request #211 opened by kim-em
July 31, 2024 09:54 3m 1s bump_v4.10.0
bump_v4.10.0
July 31, 2024 09:54 3m 1s
Update Template.lean to remove poisioned polyfill.io batteries test build #4885: Pull request #210 opened by mnixry
July 30, 2024 16:58 3m 12s mnixry:patch-1
mnixry:patch-1
July 30, 2024 16:58 3m 12s
fix: wrong linking in backrefs batteries test build #4884: Commit b941c42 pushed by hargoniX
July 13, 2024 12:52 2m 55s main
main
July 13, 2024 12:52 2m 55s
chore: correct lifting constraints batteries test build #4883: Commit a9949bf pushed by hargoniX
July 13, 2024 12:28 2m 59s main
main
July 13, 2024 12:28 2m 59s
feat: add bibliography support batteries test build #4882: Commit 5b01e7c pushed by hargoniX
July 13, 2024 12:27 3m 2s main
main
July 13, 2024 12:27 3m 2s
feat: add bibliography support batteries test build #4881: Pull request #209 opened by acmepjz
July 12, 2024 19:59 3m 7s acmepjz:acmepjz_bib_1
acmepjz:acmepjz_bib_1
July 12, 2024 19:59 3m 7s
(obsolete) feat: add bibliography support batteries test build #4880: Pull request #200 synchronize by acmepjz
July 12, 2024 19:40 2m 55s acmepjz:acmepjz_bib
acmepjz:acmepjz_bib
July 12, 2024 19:40 2m 55s
(obsolete) feat: add bibliography support batteries test build #4879: Pull request #200 synchronize by acmepjz
July 8, 2024 10:05 3m 11s acmepjz:acmepjz_bib
acmepjz:acmepjz_bib
July 8, 2024 10:05 3m 11s
(obsolete) feat: add bibliography support batteries test build #4878: Pull request #200 synchronize by acmepjz
July 8, 2024 09:38 2m 57s acmepjz:acmepjz_bib
acmepjz:acmepjz_bib
July 8, 2024 09:38 2m 57s
feat: use find instead of panic in extendLink batteries test build #4877: Commit 194403b pushed by hargoniX
July 8, 2024 06:55 2m 47s main
main
July 8, 2024 06:55 2m 47s