Skip to content

chore: re-enable LLVM CI#13700

Draft
hargoniX wants to merge 10 commits into
masterfrom
hbv/revive_llvm
Draft

chore: re-enable LLVM CI#13700
hargoniX wants to merge 10 commits into
masterfrom
hbv/revive_llvm

Conversation

@hargoniX
Copy link
Copy Markdown
Contributor

@hargoniX hargoniX commented May 11, 2026

No description provided.

@github-actions github-actions Bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label May 11, 2026
@mathlib-lean-pr-testing
Copy link
Copy Markdown

mathlib-lean-pr-testing Bot commented May 11, 2026 •
edited
Loading

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 2229b077d6ebd2ff42d665fe1c32501df8915dff --onto a71f158f7bd96ff9ea846f7ff4cc658de3c8b0f9. You can force Mathlib CI using the force-mathlib-ci label. (2026-05-11 09:59:28)
  • ✅ Mathlib branch lean-pr-testing-13700 has successfully built against this PR. (2026-05-11 20:52:47) View Log
  • ✅ Mathlib branch lean-pr-testing-13700 has successfully built against this PR. (2026-05-11 23:12:40) View Log

@leanprover-bot
Copy link
Copy Markdown
Collaborator

leanprover-bot commented May 11, 2026 •
edited
Loading

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase 2229b077d6ebd2ff42d665fe1c32501df8915dff --onto a71f158f7bd96ff9ea846f7ff4cc658de3c8b0f9. You can force reference manual CI using the force-manual-ci label. (2026-05-11 09:59:29)
  • ❗ Reference manual CI can not be attempted yet, as the nightly-testing-2026-05-11 tag does not exist there yet. We will retry when you push more commits. If you rebase your branch onto nightly-with-manual, reference manual CI should run now. You can force reference manual CI using the force-manual-ci label. (2026-05-11 19:57:40)

@github-actions github-actions Bot added the mathlib4-nightly-available A branch for this PR exists at leanprover-community/mathlib4-nightly-testing:lean-pr-testing-NNNN label May 11, 2026
@mathlib-lean-pr-testing mathlib-lean-pr-testing Bot added the builds-mathlib CI has verified that Mathlib builds against this PR label May 11, 2026
@github-actions github-actions Bot added the changes-stage0 Contains stage0 changes, merge manually using rebase label May 11, 2026
mathlib-nightly-testing Bot pushed a commit to leanprover-community/batteries that referenced this pull request May 11, 2026
Update lean-toolchain for leanprover/lean4#13700
73a3f00
mathlib-nightly-testing Bot pushed a commit to leanprover-community/mathlib4-nightly-testing that referenced this pull request May 11, 2026
Update lean-toolchain for leanprover/lean4#13700
b337d38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@leodemoura leodemoura Awaiting requested review from leodemoura leodemoura will be requested when the pull request is marked ready for review leodemoura is a code owner

@kim-em kim-em Awaiting requested review from kim-em kim-em will be requested when the pull request is marked ready for review kim-em is a code owner

Assignees

No one assigned

Labels

builds-mathlib CI has verified that Mathlib builds against this PR changes-stage0 Contains stage0 changes, merge manually using rebase mathlib4-nightly-available A branch for this PR exists at leanprover-community/mathlib4-nightly-testing:lean-pr-testing-NNNN toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@hargoniX @leanprover-bot