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
chore: bump to nightly-2026-04-23 Autolabel PRs #770: Commit 2d5b4c4 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-23
nightly-testing-2026-04-23
1s
chore: bump to nightly-2026-04-22 Autolabel PRs #769: Commit eac921f pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-22
nightly-testing-2026-04-22
1s
[Merged by Bors] - chore: adaptations for nightly-2026-04-20 Autolabel PRs #768: Pull request #211 opened by kim-em
Skipped
Skipped
Merge master into nightly-testing Autolabel PRs #767: Commit 0777acc pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-20
nightly-testing-2026-04-20
1s
[Merged by Bors] - chore: adaptations for nightly-2026-04-19 Autolabel PRs #766: Pull request #210 opened by kim-em
1s
1s
chore: bump to nightly-2026-04-19 Autolabel PRs #765: Commit 4c45d0e pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-19
nightly-testing-2026-04-19
1s
Merge master into nightly-testing Autolabel PRs #764: Commit 0647d35 pushed by mathlib-nightly-testing Bot
Skipped nightly-testing-2026-04-17
nightly-testing-2026-04-17
Skipped
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11313 Autolabel PRs #763: Commit dd38144 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-11313
lean-pr-testing-11313
1s
[Merged by Bors] - chore: adaptations for nightly-2026-04-16 Autolabel PRs #762: Pull request #209 opened by kim-em
1s
1s
chore: bump to nightly-2026-04-16 Autolabel PRs #761: Commit cecf37b pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-16
nightly-testing-2026-04-16
1s
chore: bump to nightly-2026-04-13 Autolabel PRs #760: Commit 0b824b5 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-13
nightly-testing-2026-04-13
1s
Merge branch 'nightly-testing' of https://github.com/leanprover-commu… Autolabel PRs #759: Commit bea414c pushed by mathlib-nightly-testing Bot
2s nightly-testing-2026-04-11
nightly-testing-2026-04-11
2s
chore: adaptations for nightly-2026-04-10 Autolabel PRs #758: Pull request #208 opened by kim-em
1s
1s
fix(lint-style): filter out duplicate Init from Mathlib.lean imports Autolabel PRs #757: Commit ba9bf0f pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-10
nightly-testing-2026-04-10
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11662 Autolabel PRs #756: Commit 85c3d82 pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-11662
lean-pr-testing-11662
1s
chore: adaptations for nightly-2026-04-07 Autolabel PRs #755: Pull request #207 opened by mathlib-nightly-testing Bot
1s
1s
chore: bump to nightly-2026-04-07 Autolabel PRs #754: Commit 939b283 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-07
nightly-testing-2026-04-07
1s
chore: adaptations for nightly-2026-04-06 Autolabel PRs #753: Pull request #206 opened by mathlib-nightly-testing Bot
1s
1s
touch for CI Autolabel PRs #752: Commit 5212dc4 pushed by mathlib-nightly-testing Bot
1s nightly-testing-2026-04-06
nightly-testing-2026-04-06
1s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #751: Commit cef36c2 pushed by mathlib-nightly-testing Bot
1s batteries-pr-testing-1700
batteries-pr-testing-1700
1s
Merge master into nightly-testing Autolabel PRs #750: Commit 0ca1b07 pushed by mathlib-nightly-testing Bot
2s nightly-testing
nightly-testing
2s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #749: Commit 7e1aa82 pushed by mathlib-nightly-testing Bot
1s batteries-pr-testing-1643
batteries-pr-testing-1643
1s
Trigger CI for https://github.com/leanprover-community/batteries/pull… Autolabel PRs #748: Commit 024eb1d pushed by mathlib-nightly-testing Bot
1s batteries-pr-testing-1737
batteries-pr-testing-1737
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/9815 Autolabel PRs #747: Commit 79c8e9e pushed by mathlib-nightly-testing Bot
1s lean-pr-testing-9815
lean-pr-testing-9815
1s
[Merged by Bors] - chore: adaptations for nightly-2026-04-01 Autolabel PRs #746: Pull request #205 opened by mathlib-nightly-testing Bot
1s
1s