Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow runs
356 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 subrepos Update subrepos #88: Scheduled
15m 6s master
master
15m 6s
Update toolchain Update toolchain #91: Scheduled
38s master
master
38s
Update subrepos Update subrepos #87: Scheduled
1m 50s master
master
1m 50s
Post-build on master Post-build on master #44: completed by Garmelon
1s
1s
chore: bump toolchain to nightly-2026-06-09 Build subrepos #100: Commit fb60204 pushed by Garmelon
4m 35s master
master
4m 35s
Update toolchain Update toolchain #90: Scheduled
22s master
master
22s
Update subrepos Update subrepos #86: Scheduled
3m 11s master
master
3m 11s
Update toolchain Update toolchain #89: Scheduled
19s master
master
19s
Post-build on master Post-build on master #43: completed by Garmelon
23s
23s
downstream: update repo verso Build subrepos #99: Commit eed6eb9 pushed by Garmelon
3m 1s master
master
3m 1s
Update subrepos Update subrepos #85: Scheduled
1m 43s master
master
1m 43s
Update toolchain Update toolchain #88: Scheduled
18s master
master
18s
Post-build on master Post-build on master #42: completed by Garmelon
23s
23s
downstream: update repo mathlib4 Build subrepos #98: Commit d9cad38 pushed by Garmelon
27m 46s master
master
27m 46s
Update subrepos Update subrepos #84: Scheduled
1m 57s master
master
1m 57s
Update toolchain Update toolchain #87: Scheduled
20s master
master
20s
Post-build on master Post-build on master #41: completed by Garmelon
25s
25s
downstream: update repo mathlib4 Build subrepos #97: Commit ab8abec pushed by Garmelon
3m 0s master
master
3m 0s
Update subrepos Update subrepos #83: Scheduled
1m 40s master
master
1m 40s
Update toolchain Update toolchain #86: Scheduled
19s master
master
19s
Post-build on master Post-build on master #40: completed by Garmelon
21s
21s
downstream: update repo mathlib4 Build subrepos #96: Commit 294e197 pushed by Garmelon
26m 27s master
master
26m 27s
Update subrepos Update subrepos #82: Scheduled
1m 19s master
master
1m 19s
Update toolchain Update toolchain #85: Scheduled
17s master
master
17s
Update subrepos Update subrepos #81: Scheduled
1m 17s master
master
1m 17s