Skip to content

Actions: leanprover-community/mathlib4-nightly-testing

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
972 workflow runs
972 workflow runs

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
Merge remote-tracking branch 'origin/master' into bump/v4.31.0 Autolabel PRs #847: Commit f58ed90 pushed by mathlib-bors Bot
1s staging-squash-merge.tmp
staging-squash-merge.tmp
1s
[Merged by Bors] - feat: last adaptations for v4.31.0 Autolabel PRs #846: Pull request #229 opened by kim-em
1s
1s
chore: clear remaining nightly build warnings Autolabel PRs #845: Commit 8a9ccb2 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-28
nightly-testing-2026-05-28
1s
chore: bump to nightly-2026-05-25 Autolabel PRs #844: Commit 158c213 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-25
nightly-testing-2026-05-25
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636 Autolabel PRs #843: Commit cfb2894 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-13636
lean-pr-testing-13636
1s
remove redundant simp Autolabel PRs #842: Commit c151f2d pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-22
nightly-testing-2026-05-22
1s
all fixed Autolabel PRs #841: Commit 3cb9f1f pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-20
nightly-testing-2026-05-20
1s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #840: Commit e73a762 pushed by mathlib-nightly-testing Bot
2s batteries-pr-testing-1174
batteries-pr-testing-1174
2s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #839: Commit 1be8c7c pushed by mathlib-nightly-testing Bot
1s batteries-pr-testing-1293
batteries-pr-testing-1293
1s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #838: Commit 9d1a587 pushed by mathlib-nightly-testing Bot
2s batteries-pr-testing-1643
batteries-pr-testing-1643
2s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #837: Commit a3702c6 pushed by mathlib-nightly-testing Bot
1s batteries-pr-testing-1332
batteries-pr-testing-1332
1s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #836: Commit 3820f2f pushed by mathlib-nightly-testing Bot
1s batteries-pr-testing-1811
batteries-pr-testing-1811
1s
Lean pr testing 11156 Autolabel PRs #835: Pull request #228 opened by JovanGerb
1s
1s
adaptations for lean PR 8883 Autolabel PRs #834: Pull request #227 opened by JovanGerb
2s
2s
Merge master into nightly-testing Autolabel PRs #833: Commit 773c912 pushed by mathlib-nightly-testing Bot
1s nightly-testing
nightly-testing
1s
adaptations for lean#13775 Autolabel PRs #832: Pull request #226 opened by JovanGerb
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/8883 Autolabel PRs #831: Commit 9b1f175 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-8883
lean-pr-testing-8883
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11156 Autolabel PRs #830: Commit 25f2137 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-11156
lean-pr-testing-11156
1s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #829: Commit 9bdef39 pushed by mathlib-nightly-testing Bot
3s batteries-pr-testing-1643
batteries-pr-testing-1643
3s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #828: Commit 44710d3 pushed by mathlib-nightly-testing Bot
3s batteries-pr-testing-1763
batteries-pr-testing-1763
3s
chore: adaptations for nightly-2026-05-17 Autolabel PRs #827: Pull request #225 opened by kim-em
1s
1s
chore: bump to nightly-2026-05-17 Autolabel PRs #826: Commit 70483db pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-17
nightly-testing-2026-05-17
1s
Merge master into nightly-testing Autolabel PRs #825: Commit bcc3208 pushed by mathlib-nightly-testing Bot
Skipped nightly-testing-2026-05-16
nightly-testing-2026-05-16
Skipped
chore: update batteries Autolabel PRs #824: Commit 143c91c pushed by fgdorais
1s batteries-pr-testing-1700
batteries-pr-testing-1700
1s
chore: adaptations for nightly-2026-05-14 Autolabel PRs #823: Pull request #224 opened by mathlib-nightly-testing Bot
1s
1s