Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,975 workflow runs
1,975 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
downstream: update repo cslib Build subrepos #402: Commit 6646dc6 pushed by downstream-lean4 Bot
In progress master
master
In progress
Update subrepos Update subrepos #594: Scheduled
3m 49s master
master
3m 49s
Update toolchain Update toolchain #595: Scheduled
50s master
master
50s
Update subrepos Update subrepos #593: Scheduled
2m 5s master
master
2m 5s
Post-build Post-build #351: completed by downstream-lean4 Bot
16m 53s
16m 53s
Post-build Post-build #350: completed by downstream-lean4 Bot
15m 27s
15m 27s
chore: bump toolchain to nightly-2026-07-21 Build subrepos #401: Commit a20a1df pushed by downstream-lean4 Bot
50m 46s master
master
50m 46s
Update toolchain Update toolchain #594: Scheduled
25s master
master
25s
downstream: update repo verso Build subrepos #400: Commit ad5c3c5 pushed by downstream-lean4 Bot
1h 4m 33s master
master
1h 4m 33s
Update subrepos Update subrepos #592: Scheduled
2m 21s master
master
2m 21s
Post-build Post-build #349: completed by TwoFX
14m 56s
14m 56s
Post-build Post-build #348: completed by downstream-lean4 Bot
16m 0s
16m 0s
Update toolchain Update toolchain #593: Scheduled
35s master
master
35s
fix mathlib Build subrepos #399: Commit 3791090 pushed by TwoFX
1h 5m 5s adaptation-14462
adaptation-14462
1h 5m 5s
downstream: update repo comparator Build subrepos #398: Commit 9706524 pushed by downstream-lean4 Bot
55m 58s master
master
55m 58s
Update subrepos Update subrepos #591: Scheduled
2m 8s master
master
2m 8s
Update toolchain Update toolchain #592: Scheduled
22s master
master
22s
Update subrepos Update subrepos #590: Scheduled
2m 0s master
master
2m 0s
Update toolchain Update toolchain #591: Scheduled
21s master
master
21s
Update subrepos Update subrepos #589: Scheduled
2m 18s master
master
2m 18s
Update toolchain Update toolchain #590: Scheduled
29s master
master
29s
Post-build Post-build #347: completed by downstream-lean4 Bot
13m 52s
13m 52s
downstream: update repo mathlib4 Build subrepos #397: Commit 2dfbcfb pushed by downstream-lean4 Bot
28m 54s master
master
28m 54s
Update subrepos Update subrepos #588: Scheduled
1m 28s master
master
1m 28s
Update toolchain Update toolchain #589: Scheduled
34s master
master
34s