leanprover-community-bot

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ✅ Mathlib branch [batteries-pr-testing-968](https://github.com/leanprover-community/mathlib4/compare/master...batteries-pr-testing-968) has successfully built against this PR. (2024-09-28 00:43:53) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/11079155007)

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the `nightly-with-mathlib` branch. Try `git rebase 7bd937580494311ecdb9502a7b5ab0ccf473bd44 --onto 1465c23e12f6f8b608ef944be4559b1b5e38f40a`. You can force Mathlib...

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ✅ Mathlib branch [batteries-pr-testing-1204](https://github.com/leanprover-community/mathlib4/compare/master...batteries-pr-testing-1204) has successfully built against this PR. (2025-04-10 12:58:47) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/14380079017) - ✅ Mathlib branch [batteries-pr-testing-1204](https://github.com/leanprover-community/mathlib4/compare/master...batteries-pr-testing-1204) has successfully built against this PR....

- ✅ Mathlib branch [lean-pr-testing-9009](https://github.com/leanprover-community/mathlib4-nightly-testing/compare/nightly-testing...lean-pr-testing-9009) has successfully built against this PR. (2025-06-26 08:34:23) [View Log](https://github.com/leanprover-community/mathlib4-nightly-testing/actions/runs/15895973258)

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Batteries CI can not be attempted yet, as the `nightly-testing-2025-06-24` tag does not exist there yet. We will retry when you push more commits....

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the `nightly-with-mathlib` branch. Try `git rebase 8ff05f976026b13c6251bfcdb37b4602c0ca6ba2 --onto 2edfe2e9cffd55e3c79291628ae091b942291ec9`. You can force Mathlib...

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the `nightly-with-mathlib` branch. Try `git rebase 76164b284b0769672d8a643c4396356a6f053fba --onto 66dbad911eaaec4cd512662bd5cc67a2a16d2484`. (2024-10-23 20:43:57)

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - 💥 Mathlib branch [batteries-pr-testing-905](https://github.com/leanprover-community/mathlib4/compare/master...batteries-pr-testing-905) build failed against this PR. (2024-09-28 17:51:14) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/11085483405)

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the `nightly-with-mathlib` branch. Try `git rebase 76164b284b0769672d8a643c4396356a6f053fba --onto 8151ac79d66e7990d5bf5e1b71f8a33aec7d6446`. (2024-10-22 09:54:49) - ❗...

Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - 💥 Mathlib branch [batteries-pr-testing-1491](https://github.com/leanprover-community/mathlib4-nightly-testing/compare/master...batteries-pr-testing-1491) build failed against this PR. (2025-11-03 18:41:36) [View Log](https://github.com/leanprover-community/mathlib4-nightly-testing/actions/runs/19044909324) - 💥 Mathlib branch [batteries-pr-testing-1491](https://github.com/leanprover-community/mathlib4-nightly-testing/compare/master...batteries-pr-testing-1491) build failed against this PR. (2025-11-03 22:04:51)...