Skip to content

Actions: leanprover/downstream-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,443 workflow runs
1,443 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
Post-build Post-build #240: completed by downstream-lean4 Bot
10m 35s
10m 35s
Update toolchain Update toolchain #439: Scheduled
39s master
master
39s
downstream: update repo mathlib4 Build subrepos #296: Commit 68c8ecf pushed by downstream-lean4 Bot
27m 37s master
master
27m 37s
Update subrepos Update subrepos #435: Scheduled
1m 25s master
master
1m 25s
Post-build Post-build #239: completed by Garmelon
7m 59s
7m 59s
Post-build Post-build #238: completed by Garmelon
8m 18s
8m 18s
Post-build Post-build #237: completed by Garmelon
7m 57s
7m 57s
ci: switch build report zulip channel Build subrepos #295: Commit 9d9d59c pushed by Garmelon
21m 18s master
master
21m 18s
[#13956] feat: bound kernel recursion by maxRecDepth (#3) Build subrepos #294: Commit c9ecf2f pushed by Garmelon
16m 29s master
master
16m 29s
Merge branch 'master' into adaptation-13956 Build subrepos #293: Commit acd6eea pushed by Garmelon
18m 7s adaptation-13956
adaptation-13956
18m 7s
Post-build Post-build #236: completed by downstream-lean4 Bot
13m 42s
13m 42s
Post-build Post-build #235: completed by downstream-lean4 Bot
9m 11s
9m 11s
Post-build Post-build #234: completed by downstream-lean4 Bot
11m 51s
11m 51s
downstream: undo overrides Build subrepos #292: Commit e2b8c7d pushed by downstream-lean4 Bot
22m 59s adaptation-13956
adaptation-13956
22m 59s
chore: bump toolchain to nightly-2026-07-08 Build subrepos #291: Commit b767a77 pushed by downstream-lean4 Bot
19m 11s master
master
19m 11s
Update toolchain Update toolchain #438: Scheduled
44s master
master
44s
downstream: update repo mathlib4 Build subrepos #290: Commit f7c7ffd pushed by downstream-lean4 Bot
30m 48s master
master
30m 48s
Update subrepos Update subrepos #434: Scheduled
1m 22s master
master
1m 22s
Post-build Post-build #233: completed by Garmelon
8m 21s
8m 21s
Update toolchain Update toolchain #437: Scheduled
28s master
master
28s
fix: make shebangs more portable Build subrepos #289: Commit bd80e8a pushed by Garmelon
16m 2s master
master
16m 2s
Update subrepos Update subrepos #433: Scheduled
1m 45s master
master
1m 45s
Update toolchain Update toolchain #436: Scheduled
27s master
master
27s
Update subrepos Update subrepos #432: Scheduled
1m 59s master
master
1m 59s
Update toolchain Update toolchain #435: Scheduled
28s master
master
28s