leanprover-community-mathlib4-bot
leanprover-community-mathlib4-bot
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ✅ Mathlib branch [lean-pr-testing-3590](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3590) has successfully built against this PR. (2024-03-04 12:37:16) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/8139406288) - 🟡 Mathlib branch [lean-pr-testing-3590](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3590) build against this PR was cancelled....
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - 💥 Mathlib branch [lean-pr-testing-3631](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3631) build failed against this PR. (2024-03-07 11:18:59) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/8187109050) - 💥 Mathlib branch [lean-pr-testing-3631](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3631) build failed against this PR. (2024-03-07 12:05:39)...
- 🟡 Mathlib branch [lean-pr-testing-2239](https://github.com/leanprover-community/mathlib4/compare/master...lean-pr-testing-2239) build this PR didn't complete normally. (2023-09-14 04:30:25) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/)
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Std/Mathlib CI will not be attempted unless your PR branches off the `nightly-with-mathlib` branch. Try `git rebase 1388f6bc83b5ea085fe14faa1db213e745c3e398 --onto 32dcc6eb895b58df3d3241a2521963e64995b621`. (2024-03-12 14:43:12) - ❗...
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Std CI can not be attempted yet, as the `nightly-testing-2024-03-10` 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)): - ❗ Mathlib CI will not be attempted unless your PR branches off the 'nightly-with-mathlib' branch. (2024-01-14 04:54:48)
- ❗ Mathlib CI will not be attempted unless you rebase your PR onto the 'nightly' branch. (2023-12-15 02:39:21) - ❗ Std/Mathlib CI will not be attempted unless your PR...
- ✅ Mathlib branch [lean-pr-testing-3113](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3113) has successfully built against this PR. (2024-01-05 14:20:01) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7422192189) - ✅ Mathlib branch [lean-pr-testing-3113](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3113) has successfully built against this PR. (2024-01-05 15:49:27) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7423365900)...
- ❗ Mathlib CI will not be attempted unless you rebase your PR onto the 'nightly' branch. (2023-12-11 12:35:07) - ❗ Std/Mathlib CI will not be attempted unless your PR...
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Std/Mathlib CI will not be attempted unless your PR branches off the `nightly-with-mathlib` branch. Try `git rebase b9b4d8f41d93b9887d26a07746b283d582893c76 --onto 6719af350fde9339354f28d091458df39a4af9d4`. (2024-02-23 03:38:54) - ❗...