Skip to content

Update cargo-risczero to version 2.3.1 #76

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
automergerpr-permission-manager merged 1 commit into from
Aug 19, 2025
Merged

Update cargo-risczero to version 2.3.1 #76

automergerpr-permission-manager merged 1 commit into from
Aug 19, 2025

Conversation

@tothtamas28
Copy link
Contributor

@tothtamas28 tothtamas28 commented Aug 19, 2025

No description provided.

@tothtamas28 tothtamas28 self-assigned this Aug 19, 2025
@tothtamas28
Copy link
Contributor Author

tothtamas28 commented Aug 19, 2025

Fixes compile error:

INFO     pyk.utils:utils.py:556 [PID=2115][exec] cargo risczero build
INFO     pyk.utils:utils.py:603 [PID=2115][stde] Error: `cargo metadata` exited with an error:     Updating crates.io index
INFO     pyk.utils:utils.py:603 [PID=2115][stde] error: failed to select a version for the requirement `risc0-zkvm = "=2.1.0"`
INFO     pyk.utils:utils.py:603 [PID=2115][stde]   version 2.1.0 is yanked

https://github.com/runtimeverification/zkevm-harness/actions/runs/17068917268/job/48392635209?pr=75#step:6:750

@tothtamas28 tothtamas28 marked this pull request as ready for review August 19, 2025 12:42
@tothtamas28 tothtamas28 mentioned this pull request Aug 19, 2025
Merged
@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 6fe38a3 into master Aug 19, 2025
2 checks passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the update-cargo-risczero branch August 19, 2025 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@palinatolmach palinatolmach palinatolmach approved these changes

@Stevengre Stevengre Awaiting requested review from Stevengre

Assignees

@tothtamas28 tothtamas28

Labels

automerge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@tothtamas28 @palinatolmach