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
525 workflow runs
525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: adaptations for nightly-2025-12-10 Autolabel PRs #525: Pull request #141 opened by kim-em
1s
1s
chore: bump to nightly-2025-12-10 Autolabel PRs #524: Commit 25918fa pushed by leanprover-community-bot-assistant
1s nightly-testing-2025-12-10
nightly-testing-2025-12-10
1s
experiment: which linarith can not be replaced with grind? Autolabel PRs #523: Pull request #140 opened by kim-em
1s
1s
experiment: which linarith can not be replaced with grind? Autolabel PRs #522: Pull request #139 opened by kim-em
1s
1s
[Merged by Bors] - chore: adaptations for nightly-2025-12-09 Autolabel PRs #521: Pull request #138 opened by leanprover-community-bot-assistant
1s
1s
chore: bump to nightly-2025-12-09 Autolabel PRs #520: Commit bbf1f53 pushed by leanprover-community-bot-assistant
1s nightly-testing-2025-12-09
nightly-testing-2025-12-09
1s
[Merged by Bors] - chore: adaptations for nightly-2025-12-08 Autolabel PRs #519: Pull request #137 opened by kim-em
Skipped
Skipped
lake update Autolabel PRs #518: Commit 64d8fd3 pushed by leanprover-community-bot-assistant
1s nightly-testing-2025-12-08
nightly-testing-2025-12-08
1s
Merge branch 'bump/v4.27.0' into add-try-registrations Autolabel PRs #517: Commit 24b39d6 pushed by kim-em
1s add-try-registrations
add-try-registrations
1s
feat: register mathlib finishing tactics with try? Autolabel PRs #516: Commit 3d04a0d pushed by kim-em
1s add-try-registrations
add-try-registrations
1s
[Merged by Bors] - feat: register mathlib tactics with try? Autolabel PRs #515: Pull request #136 opened by kim-em
1s
1s
deprecation Autolabel PRs #514: Commit f83e6b6 pushed by leanprover-community-bot-assistant
Skipped nightly-testing-2025-12-07
nightly-testing-2025-12-07
Skipped
[Lean PR benchmarking] Autolabel PRs #513: Pull request #135 opened by datokrat
1s
1s
[nightly testing benchmark PR] Autolabel PRs #512: Pull request #134 opened by datokrat
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11416 Autolabel PRs #511: Commit 6b93a8b pushed by leanprover-community-mathlib4-bot
1s lean-pr-testing-11416
lean-pr-testing-11416
1s
Please linter Autolabel PRs #510: Commit ce00192 pushed by leanprover-community-bot-assistant
1s nightly-testing-2025-12-05
nightly-testing-2025-12-05
1s
chore: merge master Autolabel PRs #509: Commit 1a7877e pushed by fgdorais
1s batteries-pr-testing-1515
batteries-pr-testing-1515
1s
chore: adaptations for nightly-2025-12-04 (#133) Autolabel PRs #508: Commit 2fea7f5 pushed by mathlib-bors bot
1s staging
staging
1s
[Merged by Bors] - chore: adaptations for nightly-2025-12-04 Autolabel PRs #507: Pull request #133 opened by kim-em
1s
1s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11038 Autolabel PRs #506: Commit 09c9493 pushed by leanprover-community-mathlib4-bot
1s lean-pr-testing-11038
lean-pr-testing-11038
1s
shake Autolabel PRs #505: Pull request #132 opened by Kha
1s
1s
chore: bump to nightly-2025-12-04 Autolabel PRs #504: Commit 42f7d9c pushed by leanprover-community-bot-assistant
Skipped nightly-testing-2025-12-04
nightly-testing-2025-12-04
Skipped
chore: merge master Autolabel PRs #503: Commit 2f87153 pushed by fgdorais
1s batteries-pr-testing-1490
batteries-pr-testing-1490
1s
chore: adaptations for nightly-2025-12-03 Autolabel PRs #502: Pull request #131 opened by kim-em
1s
1s
Merge remote-tracking branch 'upstream/master' into bump/v4.27.0 Autolabel PRs #501: Commit f6c8489 pushed by kim-em
Skipped bump/v4.27.0
bump/v4.27.0
Skipped