Skip to content
This repository was archived by the owner on Jan 16, 2026. It is now read-only.

chore: bump msrv#3251

Open
theochap wants to merge 1 commit intomainfrom
theo/msrv
Open

chore: bump msrv#3251
theochap wants to merge 1 commit intomainfrom
theo/msrv

Conversation

@theochap
Copy link
Copy Markdown
Member

Description

Bump the rust msrv. I doubled checked with succinct and risc0 teams that this version was supported by their respective zkvms

Copilot AI review requested due to automatic review settings January 13, 2026 15:28
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR bumps the Minimum Supported Rust Version (MSRV) from 1.88 to 1.91, with verification from the succinct and risc0 teams that this version is supported by their respective zkVMs.

Changes:

  • Update Rust version from 1.88 to 1.91 in both toolchain and workspace configuration files

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
rust-toolchain.toml Updates the Rust toolchain channel from 1.88 to 1.91
Cargo.toml Updates the workspace-level rust-version field from 1.88 to 1.91

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@codecov
Copy link
Copy Markdown

codecov Bot commented Jan 13, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 76.9%. Comparing base (5a4457f) to head (36eef68).
✅ All tests successful. No failed tests found.

❗ There is a different number of reports uploaded between BASE (5a4457f) and HEAD (36eef68). Click for more details.

HEAD has 20 uploads less than BASE
Flag BASE (5a4457f) HEAD (36eef68)
proof 7 0
unit 2 1
e2e 12 0

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants