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 #1527: Scheduled
27s master
master
27s
Post-build export Post-build export #904: completed by downstream-lean4 Bot
51s
51s
Post-build Post-build #1447: completed by downstream-lean4 Bot
7m 3s
7m 3s
downstream: update repo lean4-unicode-basic Build subrepos #1493: Commit fa9284b pushed by downstream-lean4 Bot
11m 6s master
master
11m 6s
Update subrepos Update subrepos #1526: Scheduled
1m 47s master
master
1m 47s
Update toolchain Update toolchain #1526: Scheduled
27s master
master
27s
Post-build Post-build #1446: completed by downstream-lean4 Bot
5m 31s
5m 31s
Post-build export Post-build export #903: completed by downstream-lean4 Bot
49s
49s
downstream: update repo cslib Build subrepos #1492: Commit 0834a8e pushed by downstream-lean4 Bot
10m 44s master
master
10m 44s
Update subrepos Update subrepos #1525: Scheduled
2m 30s master
master
2m 30s
Update toolchain Update toolchain #1525: Scheduled
40s master
master
40s
Update subrepos Update subrepos #1524: Scheduled
3m 6s master
master
3m 6s
Update toolchain Update toolchain #1524: Scheduled
26s master
master
26s
Update subrepos Update subrepos #1523: Scheduled
2m 6s master
master
2m 6s
Post-build Post-build #1445: completed by hargoniX
9m 46s
9m 46s
Post-build export Post-build export #902: completed by hargoniX
3m 45s
3m 45s
Update toolchain Update toolchain #1523: Scheduled
33s master
master
33s
fix: reference-manual breakage from nightly-2026-10-06 (#140) Build subrepos #1491: Commit ee5da78 pushed by hargoniX
40m 11s master
master
40m 11s
Post-build export Post-build export #901: completed by downstream-lean4 Bot
2m 33s
2m 33s
Post-build Post-build #1444: completed by downstream-lean4 Bot
9m 8s
9m 8s
downstream: update repo mathlib4 Build subrepos #1490: Commit b1ff736 pushed by downstream-lean4 Bot
11m 6s master
master
11m 6s
Update subrepos Update subrepos #1522: Scheduled
3m 16s master
master
3m 16s
Post-build export Post-build export #900: completed by downstream-lean4 Bot
54s
54s
Post-build Post-build #1443: completed by downstream-lean4 Bot
5m 40s
5m 40s
Post-build Post-build #1442: completed by downstream-lean4 Bot
7m 31s
7m 31s