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 #1169: Scheduled
44s master
master
44s
Update subrepos Update subrepos #1168: Scheduled
2m 40s master
master
2m 40s
Post-build Post-build #913: completed by Kha
7m 44s
7m 44s
Post-build export Post-build export #370: completed by Kha
7s
7s
fix: mathlib4 deprecation-linter breakage from the mathlib merge Build subrepos #961: Commit 4d0b972 pushed by Kha
21m 24s push-qlzltrmuqttz
push-qlzltrmuqttz
21m 24s
Post-build Post-build #912: completed by downstream-lean4 Bot
6m 37s
6m 37s
Post-build export Post-build export #369: completed by downstream-lean4 Bot
1m 54s
1m 54s
Update toolchain Update toolchain #1168: Scheduled
57s master
master
57s
downstream: update repo mathlib4 Build subrepos #960: Commit 4b1d310 pushed by downstream-lean4 Bot
28m 33s master
master
28m 33s
Update subrepos Update subrepos #1167: Scheduled
2m 13s master
master
2m 13s
Update toolchain Update toolchain #1167: Scheduled
52s master
master
52s
Update subrepos Update subrepos #1166: Scheduled
2m 49s master
master
2m 49s
Update toolchain Update toolchain #1166: Scheduled
34s master
master
34s
Update subrepos Update subrepos #1165: Scheduled
1m 58s master
master
1m 58s
Post-build export Post-build export #368: completed by downstream-lean4 Bot
1m 59s
1m 59s
Post-build Post-build #911: completed by downstream-lean4 Bot
5m 23s
5m 23s
Update toolchain Update toolchain #1165: Scheduled
31s master
master
31s
downstream: update repo cslib Build subrepos #959: Commit d6c0bc6 pushed by downstream-lean4 Bot
19m 16s master
master
19m 16s
Update subrepos Update subrepos #1164: Scheduled
2m 3s master
master
2m 3s
Post-build export Post-build export #367: completed by downstream-lean4 Bot
2m 20s
2m 20s
Post-build Post-build #910: completed by downstream-lean4 Bot
5m 5s
5m 5s
Update toolchain Update toolchain #1164: Scheduled
30s master
master
30s
downstream: update repo reference-manual Build subrepos #958: Commit a832e3a pushed by downstream-lean4 Bot
18m 38s master
master
18m 38s
Update subrepos Update subrepos #1163: Scheduled
2m 32s master
master
2m 32s
Post-build export Post-build export #366: completed by Kha
6s
6s