Skip to content

chore: bump toolchain to v4.29.0#814

Merged
Garmelon merged 1 commit intomainfrom
bump_to_v4.29.0
Mar 30, 2026
Merged

chore: bump toolchain to v4.29.0#814
Garmelon merged 1 commit intomainfrom
bump_to_v4.29.0

Conversation

@Garmelon
Copy link
Copy Markdown
Contributor

No description provided.

@Garmelon
Copy link
Copy Markdown
Contributor Author

For this PR, I ran update-subverso.sh after updating the toolchain and lake update-ing. Is that the correct approach?

@github-actions
Copy link
Copy Markdown
Contributor

Preview for this PR is ready! 🎉

@david-christiansen
Copy link
Copy Markdown
Collaborator

Yes, that's the right approach. Thanks!

@Garmelon Garmelon added this pull request to the merge queue Mar 30, 2026
Merged via the queue into main with commit 7ae82ac Mar 30, 2026
12 checks passed
@Garmelon Garmelon deleted the bump_to_v4.29.0 branch March 30, 2026 10:54
@Garmelon
Copy link
Copy Markdown
Contributor Author

!bench

@leanprover-radar
Copy link
Copy Markdown

leanprover-radar commented Mar 30, 2026

Benchmark results for 8127be0 against be4ae49 are in. Significant changes detected! @Garmelon

  • 🟥 lean4cs1 exited with code 1
  • 🟥 lean4cs1-o0 exited with code 1

No significant changes detected.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants