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 #1404: completed by downstream-lean4 Bot
11s
11s
Post-build Post-build #1947: completed by downstream-lean4 Bot
6m 23s
6m 23s
[#16235] feat: keep haves above a split match in equation lemmas On PR push #381: Pull request #227 synchronize by downstream-lean4 Bot
11s
11s
downstream: follow upstream PR Build subrepos #1992: Commit f1e4a23 pushed by downstream-lean4 Bot
25m 51s adaptation-16235
adaptation-16235
25m 51s
Post-build export Post-build export #1403: completed by downstream-lean4 Bot
2s
2s
Post-build Post-build #1946: completed by downstream-lean4 Bot
8m 13s
8m 13s
Post-build export Post-build export #1402: completed by downstream-lean4 Bot
22s
22s
Post-build Post-build #1945: completed by downstream-lean4 Bot
16m 9s
16m 9s
Update toolchain Update toolchain #1866: Scheduled
22s master
master
22s
[#16235] feat: keep haves above a split match in equation lemmas On PR push #380: Pull request #227 synchronize by downstream-lean4 Bot
12s
12s
downstream: follow upstream PR Build subrepos #1991: Commit 4ee243f pushed by downstream-lean4 Bot
42m 6s adaptation-16235
adaptation-16235
42m 6s
downstream: update repo verso Build subrepos #1990: Commit e61baea pushed by downstream-lean4 Bot
24m 12s master
master
24m 12s
Update subrepos Update subrepos #1868: Scheduled
1m 57s master
master
1m 57s
Post-build Post-build #1944: completed by downstream-lean4 Bot
7m 54s
7m 54s
Post-build export Post-build export #1401: completed by downstream-lean4 Bot
7s
7s
Update toolchain Update toolchain #1865: Scheduled
25s master
master
25s
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
33m 16s adaptation-16235
adaptation-16235
33m 16s
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