Skip to content

chore: bump toolchain to v4.34.0 - #941

Merged
Garmelon merged 1 commit into
mainfrom
bump-to-v4.34.0
Sep 14, 2026
Merged

Garmelon merged 1 commit into
mainfrom
bump-to-v4.34.0

Conversation

@Garmelon

Copy link
Copy Markdown
Contributor

No description provided.

@Garmelon
Garmelon enabled auto-merge September 14, 2026 17:27
@Garmelon
Garmelon added this pull request to the merge queue Sep 14, 2026
@leanprover-bot leanprover-bot added the HTML available HTML has been generated for this PR label Sep 14, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Preview for this PR is ready! 🎉 (also as a proofreading version). built with commit c147e91.

Merged via the queue into main with commit a6451f0 Sep 14, 2026
11 checks passed
@Garmelon
Garmelon deleted the bump-to-v4.34.0 branch September 14, 2026 17:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

HTML available HTML has been generated for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants