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 subrepos Update subrepos #1867: Scheduled
2m 9s master
master
2m 9s
[#16235] feat: keep haves above a split match in equation lemmas On PR push #379: Pull request #227 synchronize by downstream-lean4 Bot
24s
24s
downstream: follow upstream PR Build subrepos #1989: Commit 7dbad8f pushed by downstream-lean4 Bot
In progress adaptation-16235
adaptation-16235
In progress
Post-build export Post-build export #1400: completed by downstream-lean4 Bot
8s
8s
Post-build Post-build #1943: completed by downstream-lean4 Bot
5m 29s
5m 29s
downstream: follow upstream PR Build subrepos #1988: Commit c11c3b1 pushed by downstream-lean4 Bot
31m 58s adaptation-16235
adaptation-16235
31m 58s
Update toolchain Update toolchain #1864: Scheduled
24s master
master
24s
Post-build Post-build #1942: completed by downstream-lean4 Bot
10m 27s
10m 27s
Post-build export Post-build export #1399: completed by downstream-lean4 Bot
30s
30s
downstream: update repo mathlib4 Build subrepos #1987: Commit 0ee5edd pushed by downstream-lean4 Bot
16m 25s master
master
16m 25s
Update subrepos Update subrepos #1866: Scheduled
2m 27s master
master
2m 27s
Post-build Post-build #1941: completed by downstream-lean4 Bot
10m 39s
10m 39s
Post-build export Post-build export #1398: completed by downstream-lean4 Bot
35s
35s
Update toolchain Update toolchain #1863: Scheduled
29s master
master
29s
Post-build export Post-build export #1397: completed by Kha
2m 48s
2m 48s
Post-build Post-build #1940: completed by Kha
5m 38s
5m 38s
downstream: update repo mathlib4 Build subrepos #1986: Commit 57706b2 pushed by downstream-lean4 Bot
31m 43s master
master
31m 43s
Update subrepos Update subrepos #1865: Scheduled
18m 50s master
master
18m 50s
Post-build Post-build #1939: completed by sgraf812
31m 0s
31m 0s
Post-build export Post-build export #1396: completed by sgraf812
9s
9s
Post-build export Post-build export #1395: completed by Kha
1m 12s
1m 12s
Post-build Post-build #1938: completed by Kha
30m 3s
30m 3s
Post-build Post-build #1937: completed by sgraf812
8m 22s
8m 22s
Post-build export Post-build export #1394: completed by sgraf812
3m 10s
3m 10s
Post-build export Post-build export #1393: completed by sgraf812
1s
1s