Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,294 workflow runs
1,294 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 #256: Commit 26ada59 pushed by downstream-lean4 Bot
In progress master
master
In progress
Update subrepos Update subrepos #402: Scheduled
1m 7s master
master
1m 7s
Update toolchain Update toolchain #405: Scheduled
21s master
master
21s
Update subrepos Update subrepos #401: Scheduled
1m 14s master
master
1m 14s
Update toolchain Update toolchain #404: Scheduled
17s master
master
17s
Update subrepos Update subrepos #400: Scheduled
1m 20s master
master
1m 20s
Update toolchain Update toolchain #403: Scheduled
17s master
master
17s
Update subrepos Update subrepos #399: Scheduled
1m 22s master
master
1m 22s
Update toolchain Update toolchain #402: Scheduled
18s master
master
18s
Update subrepos Update subrepos #398: Scheduled
1m 15s master
master
1m 15s
Update toolchain Update toolchain #401: Scheduled
20s master
master
20s
Update subrepos Update subrepos #397: Scheduled
1m 34s master
master
1m 34s
Update toolchain Update toolchain #400: Scheduled
24s master
master
24s
Update subrepos Update subrepos #396: Scheduled
1m 13s master
master
1m 13s
Update toolchain Update toolchain #399: Scheduled
22s master
master
22s
Update subrepos Update subrepos #395: Scheduled
1m 28s master
master
1m 28s
Post-build on master Post-build on master #198: completed by downstream-lean4 Bot
9m 28s
9m 28s
Update toolchain Update toolchain #398: Scheduled
18s master
master
18s
downstream: update repo mathlib4 Build subrepos #255: Commit 0af503c pushed by downstream-lean4 Bot
44m 47s master
master
44m 47s
Update subrepos Update subrepos #394: Scheduled
1m 11s master
master
1m 11s
Update toolchain Update toolchain #397: Scheduled
17s master
master
17s
Update subrepos Update subrepos #393: Scheduled
1m 17s master
master
1m 17s
Update toolchain Update toolchain #396: Scheduled
17s master
master
17s
Update subrepos Update subrepos #392: Scheduled
1m 10s master
master
1m 10s
Update toolchain Update toolchain #395: Scheduled
18s master
master
18s