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
Update toolchain Update toolchain #1118: Scheduled
1m 55s master
master
1m 55s
Update subrepos Update subrepos #1117: Scheduled
3m 29s master
master
3m 29s
Update toolchain Update toolchain #1117: Scheduled
1m 12s master
master
1m 12s
Update subrepos Update subrepos #1116: Scheduled
3m 25s master
master
3m 25s
Update toolchain Update toolchain #1116: Scheduled
1m 17s master
master
1m 17s
Update subrepos Update subrepos #1115: Scheduled
2m 54s master
master
2m 54s
Post-build Post-build #857: completed by downstream-lean4 Bot
5m 34s
5m 34s
Post-build export Post-build export #314: completed by downstream-lean4 Bot
3m 6s
3m 6s
Post-build Post-build #856: completed by downstream-lean4 Bot
5m 20s
5m 20s
Post-build export Post-build export #313: completed by downstream-lean4 Bot
1s
1s
Update toolchain Update toolchain #1115: Scheduled
57s master
master
57s
Post-build export Post-build export #312: completed by Kha
10s
10s
Post-build Post-build #855: completed by Kha
5m 18s
5m 18s
downstream: update repo verso Build subrepos #905: Commit cf405df pushed by downstream-lean4 Bot
25m 28s master
master
25m 28s
[#14970] perf: give currRecDepth its own ReaderT layer in CoreM On PR push #82: Pull request #31 synchronize by downstream-lean4 Bot
28s
28s
downstream: follow upstream PR Build subrepos #904: Commit dedf608 pushed by downstream-lean4 Bot
17m 37s adaptation-14970
adaptation-14970
17m 37s
Post-build Post-build #854: completed by downstream-lean4 Bot
3m 37s
3m 37s
Post-build export Post-build export #311: completed by downstream-lean4 Bot
1s
1s
Update subrepos Update subrepos #1114: Scheduled
3m 6s master
master
3m 6s
fix: subverso breakage from lean4#14834 Build subrepos #903: Commit f9b5ff4 pushed by Kha
15m 36s push-muozomooqztt
push-muozomooqztt
15m 36s
[#14970] perf: give currRecDepth its own ReaderT layer in CoreM On PR push #81: Pull request #31 synchronize by downstream-lean4 Bot
34s
34s
downstream: follow upstream PR Build subrepos #902: Commit 43c0911 pushed by downstream-lean4 Bot
18m 13s adaptation-14970
adaptation-14970
18m 13s
Post-build export Post-build export #310: completed by Kha
1s
1s
Post-build Post-build #853: completed by Kha
4m 39s
4m 39s
Post-build Post-build #852: completed by downstream-lean4 Bot
7m 49s
7m 49s