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
970 workflow runs
970 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
[Merged by Bors] - chore: adaptations for nightly-2026-05-13 Autolabel PRs #820: Pull request #222 opened by mathlib-nightly-testing Bot
1s
1s
chore: bump to nightly-2026-05-13 Autolabel PRs #819: Commit 565b7a9 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-13
nightly-testing-2026-05-13
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13679 Autolabel PRs #818: Commit 4b057b1 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-13679
lean-pr-testing-13679
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11958 Autolabel PRs #817: Commit 1a7ee40 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-11958
lean-pr-testing-11958
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/12545 Autolabel PRs #816: Commit 254b850 pushed by mathlib-nightly-testing Bot
2s lean-pr-testing-12545
lean-pr-testing-12545
2s
[Merged by Bors] - chore: adaptations for nightly-2026-05-12 Autolabel PRs #815: Pull request #221 opened by mathlib-nightly-testing Bot
1s
1s
chore: bump to nightly-2026-05-12 Autolabel PRs #814: Commit b8ea9d6 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-12
nightly-testing-2026-05-12
1s
chore: adaptations for nightly-2026-05-11 (#220) Autolabel PRs #813: Commit 2ede655 pushed by mathlib-bors Bot
1s staging
staging
1s
[Merged by Bors] - chore: adaptations for nightly-2026-05-11 Autolabel PRs #812: Pull request #220 opened by kim-em
1s
1s
chore: bump to nightly-2026-05-11 Autolabel PRs #811: Commit 79d7f18 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-11
nightly-testing-2026-05-11
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11313 Autolabel PRs #810: Commit 133ce31 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-11313
lean-pr-testing-11313
1s
chore: adaptations for nightly-2026-05-10 Autolabel PRs #809: Pull request #219 opened by kim-em
1s
1s
chore(RingTheory/Bialgebra/TensorProduct): enable `backward.defeqAttr… Autolabel PRs #808: Commit 34acbe6 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-10
nightly-testing-2026-05-10
1s
chore: adaptations for nightly-2026-05-07 Autolabel PRs #807: Pull request #218 opened by kim-em
1s
1s
Merge remote-tracking branch 'origin/master' into bump/v4.31.0 Autolabel PRs #806: Commit f18feac pushed by kim-em
10s bump/v4.31.0
bump/v4.31.0
10s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13637 Autolabel PRs #805: Commit 48c659d pushed by mathlib-nightly-testing Bot
2s lean-pr-testing-13637
lean-pr-testing-13637
2s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13562 Autolabel PRs #804: Commit c1edf69 pushed by mathlib-nightly-testing Bot
2s lean-pr-testing-13562
lean-pr-testing-13562
2s
linting Autolabel PRs #803: Commit f6071c1 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-05-07
nightly-testing-2026-05-07
1s
feat(scripts): @[expose] removal-candidate report pipeline (draft) Autolabel PRs #802: Pull request #217 opened by kim-em
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13342 Autolabel PRs #801: Commit 1f6d506 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-13342
lean-pr-testing-13342
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13283 Autolabel PRs #800: Commit d28a3b8 pushed by mathlib-nightly-testing Bot
2s lean-pr-testing-13283
lean-pr-testing-13283
2s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13430 Autolabel PRs #799: Commit 56a738f pushed by mathlib-nightly-testing Bot
2s lean-pr-testing-13430
lean-pr-testing-13430
2s
Add backward.simpa.using.reducibleClose to 1300+ files Autolabel PRs #798: Pull request #216 opened by Deicyde
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13550 Autolabel PRs #797: Commit 36f9a2d pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-13550
lean-pr-testing-13550
1s
chore: update nolints.json after merge Autolabel PRs #796: Commit 1b97255 pushed by nomeata
12s lean-pr-testing-13557
lean-pr-testing-13557
12s