leanprover-community-mathlib4-bot
leanprover-community-mathlib4-bot
- ❗ Mathlib CI will not be attempted unless you rebase your PR onto the 'nightly' branch. (2023-12-23 14:26:33) - ❗ Batteries/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. (2024-02-07 10:29:57) - ❗ Std/Mathlib CI will not be attempted...
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❗ Mathlib CI can not be attempted yet, as the `nightly-testing-2024-04-08` 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 branch [lean-pr-testing-3174](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3174) build against this PR was cancelled. (2024-01-13 02:17:37) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7509392579) - 🟡 Mathlib branch [lean-pr-testing-3174](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3174) 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-3174](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3174) has successfully built against this PR. (2024-01-13 03:31:00) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7509627424)
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ✅ Mathlib branch [lean-pr-testing-3174](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3174) has successfully built against this PR. (2024-01-13 04:05:53) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7510080262)
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - 🟡 Mathlib branch [lean-pr-testing-3298](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3298) build against this PR was cancelled. (2024-02-10 01:32:15) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7851542223) - ✅ Mathlib branch [lean-pr-testing-3298](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3298) has successfully built against this PR....
- ✅ Mathlib branch [lean-pr-testing-3125](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3125) has successfully built against this PR. (2023-12-30 20:13:37) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7365814196) - ✅ Mathlib branch [lean-pr-testing-3125](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3125) has successfully built against this PR. (2023-12-30 20:47:09) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7366199851)...
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ❌ Mathlib branch [lean-pr-testing-3186](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3186) built against this PR, but testing failed. (2024-01-15 18:58:37) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7532550694) - ❌ Mathlib branch [lean-pr-testing-3186](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3186) built against this PR, but...
Mathlib CI status ([docs](https://leanprover-community.github.io/contribute/tags_and_branches.html)): - ✅ Mathlib branch [lean-pr-testing-3398](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3398) has successfully built against this PR. (2024-02-19 14:56:16) [View Log](https://github.com/leanprover-community/mathlib4/actions/runs/7960325830) - ✅ Mathlib branch [lean-pr-testing-3398](https://github.com/leanprover-community/mathlib4/compare/nightly-testing...lean-pr-testing-3398) has successfully built against this PR....