Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,053 workflow runs
2,053 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 #615: Scheduled
34s master
master
34s
Update subrepos Update subrepos #613: Scheduled
1m 52s master
master
1m 52s
Post-build Post-build #371: completed by downstream-lean4 Bot
10m 13s
10m 13s
Update toolchain Update toolchain #614: Scheduled
39s master
master
39s
downstream: update repo mathlib4 Build subrepos #421: Commit 00246f1 pushed by downstream-lean4 Bot
35m 20s master
master
35m 20s
Update subrepos Update subrepos #612: Scheduled
1m 55s master
master
1m 55s
Update toolchain Update toolchain #613: Scheduled
47s master
master
47s
Update subrepos Update subrepos #611: Scheduled
1m 36s master
master
1m 36s
Update toolchain Update toolchain #612: Scheduled
28s master
master
28s
Update subrepos Update subrepos #610: Scheduled
1m 21s master
master
1m 21s
Update toolchain Update toolchain #611: Scheduled
28s master
master
28s
Post-build Post-build #370: completed by Garmelon
10m 50s
10m 50s
Update subrepos Update subrepos #609: Scheduled
1m 53s master
master
1m 53s
downstream: reset repo reference-manual Build subrepos #420: Commit 280028c pushed by Garmelon
20m 33s master
master
20m 33s
Post-build Post-build #369: completed by Garmelon
11m 22s
11m 22s
Post-build Post-build #368: completed by Garmelon
15m 27s
15m 27s
fix: reference manual Build subrepos #419: Commit 428f06e pushed by Garmelon
23m 10s master
master
23m 10s
Post-build Post-build #367: completed by Garmelon
9m 59s
9m 59s
Update toolchain Update toolchain #610: Scheduled
23s master
master
23s
fix: reference manual Build subrepos #418: Commit 8094829 pushed by Garmelon
26m 5s joscha/fix-refman
joscha/fix-refman
26m 5s
ci: tag the first green commit of each day Build subrepos #417: Commit 5d62c71 pushed by Garmelon
22m 35s master
master
22m 35s
Update subrepos Update subrepos #608: Scheduled
1m 54s master
master
1m 54s
Post-build Post-build #366: completed by downstream-lean4 Bot
14m 57s
14m 57s
Update toolchain Update toolchain #609: Scheduled
22s master
master
22s
downstream: update repo verso Build subrepos #416: Commit 0660a9d pushed by downstream-lean4 Bot
55m 8s master
master
55m 8s