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 #1055: Scheduled
27s master
master
27s
Update subrepos Update subrepos #1053: Scheduled
1m 56s master
master
1m 56s
Update toolchain Update toolchain #1054: Scheduled
57s master
master
57s
Update subrepos Update subrepos #1052: Scheduled
1m 39s master
master
1m 39s
Update toolchain Update toolchain #1053: Scheduled
21s master
master
21s
Post-build export Post-build export #232: completed by Kha
24s
24s
Post-build Post-build #775: completed by Kha
3m 38s
3m 38s
Update subrepos Update subrepos #1051: Scheduled
1m 59s master
master
1m 59s
Post-build export Post-build export #231: completed by downstream-lean4 Bot
23s
23s
Post-build Post-build #774: completed by downstream-lean4 Bot
3m 7s
3m 7s
Post-build export Post-build export #230: completed by Kha
2s
2s
Post-build Post-build #773: completed by Kha
4m 46s
4m 46s
Post-build export Post-build export #229: completed by downstream-lean4 Bot
2s
2s
Post-build Post-build #772: completed by downstream-lean4 Bot
4m 54s
4m 54s
chore: drop UIntN.max_def/min_def, now in core (#29) Build subrepos #824: Commit 8372c07 pushed by Kha
1h 5m 41s master
master
1h 5m 41s
batteries: drop UIntN.max_def/min_def, now in core Build subrepos #823: Commit 0154597 pushed by Kha
30m 33s batteries-uint-max-min-def
batteries-uint-max-min-def
30m 33s
Post-build Post-build #771: completed by downstream-lean4 Bot
4m 13s
4m 13s
Post-build export Post-build export #228: completed by downstream-lean4 Bot
21s
21s
Post-build Post-build #770: completed by downstream-lean4 Bot
3m 1s
3m 1s
Post-build export Post-build export #227: completed by downstream-lean4 Bot
29s
29s
[#14953] feat: remove deprecated in-kernel native reduction (#27) Build subrepos #822: Commit 1d0e1c9 pushed by downstream-lean4 Bot
1h 29m 58s master
master
1h 29m 58s
[#14953] feat: remove deprecated in-kernel native reduction On PR push #64: Pull request #27 synchronize by downstream-lean4 Bot
8s
8s
downstream: undo overrides Build subrepos #821: Commit fb57dfe pushed by downstream-lean4 Bot
53m 45s adaptation-14953
adaptation-14953
53m 45s
chore: bump toolchain to nightly-2026-08-29 Build subrepos #820: Commit 3359ab1 pushed by downstream-lean4 Bot
21m 18s master
master
21m 18s
Update toolchain Update toolchain #1052: Scheduled
40s master
master
40s