Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Post-build export Post-build export #222: completed by downstream-lean4 Bot
1s
1s
Post-build Post-build #765: completed by downstream-lean4 Bot
34m 5s
34m 5s
[#14805] feat: special case single-child nodes in DiscrTree On PR push #63: Pull request #23 synchronize by downstream-lean4 Bot
7m 20s
7m 20s
downstream: follow upstream PR Build subrepos #814: Commit 33f1924 pushed by downstream-lean4 Bot
39m 32s adaptation-14805
adaptation-14805
39m 32s
Post-build export Post-build export #221: completed by robsimmons
10s
10s
Post-build Post-build #764: completed by robsimmons
4m 54s
4m 54s
Post-build export Post-build export #220: completed by downstream-lean4 Bot
29s
29s
Post-build Post-build #763: completed by downstream-lean4 Bot
4m 49s
4m 49s
[#14805] feat: special case single-child nodes in DiscrTree On PR push #62: Pull request #23 synchronize by robsimmons
9s
9s
Remove double import Build subrepos #813: Commit 3050bdf pushed by robsimmons
50m 34s adaptation-14805
adaptation-14805
50m 34s
Post-build Post-build #762: completed by downstream-lean4 Bot
6m 16s
6m 16s
Post-build export Post-build export #219: completed by downstream-lean4 Bot
30s
30s
chore: bump toolchain to nightly-2026-08-28 Build subrepos #812: Commit 7e7453b pushed by downstream-lean4 Bot
35m 8s master
master
35m 8s
Update toolchain Update toolchain #1044: Scheduled
44s master
master
44s
downstream: update repo verso Build subrepos #811: Commit c42c6a2 pushed by downstream-lean4 Bot
21m 12s master
master
21m 12s
Update subrepos Update subrepos #1042: Scheduled
2m 19s master
master
2m 19s
Post-build Post-build #761: completed by Kha
8m 22s
8m 22s
Post-build export Post-build export #218: completed by Kha
1s
1s
[#14953] feat: remove deprecated in-kernel native reduction On PR push #61: Pull request #27 synchronize by Kha
12s
12s
reference-manual: adapt to removal of in-kernel native reduction Build subrepos #810: Commit 6a32a59 pushed by Kha
38m 32s adaptation-14953
adaptation-14953
38m 32s
Post-build Post-build #760: completed by downstream-lean4 Bot
4m 37s
4m 37s
Post-build export Post-build export #217: completed by downstream-lean4 Bot
1s
1s
Post-build Post-build #759: completed by downstream-lean4 Bot
7m 14s
7m 14s
Post-build export Post-build export #216: completed by downstream-lean4 Bot
9s
9s
downstream: follow upstream PR Build subrepos #809: Commit df340c3 pushed by downstream-lean4 Bot
41m 54s adaptation-14953
adaptation-14953
41m 54s