Skip to content

Conversation

@srinathsetty
Copy link
Collaborator

No description provided.

@srinathsetty
Copy link
Collaborator Author

Closing because of #267

@srinathsetty srinathsetty deleted the traits6 branch November 28, 2023 21:43
huitseeker added a commit to huitseeker/Nova that referenced this pull request Jan 24, 2024
- Added `#[allow(clippy::map_identity)]` clause to the `verify` function in `src/provider/non_hiding_kzg.rs` to avoid Clippy's interference
- Upgraded the Rust toolchain to version `1.75` in `rust-toolchain.toml`.
- Closes microsoft#266
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.

2 participants