Skip to content

Commit

Permalink
chore: Remove lints for now
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippGackstatter committed Feb 24, 2025
1 parent a6d5e08 commit b89aebf
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -50,11 +50,3 @@ rand = { version = "0.8", default-features = false }
thiserror = { version = "2.0", default-features = false }
vm-core = { package = "miden-core", version = "0.12", default-features = false }
vm-processor = { package = "miden-processor", version = "0.12", default-features = false }

# Lints are set to warn for development, which are promoted to errors in CI.
[workspace.lints.clippy]
# Pedantic lints are set to a lower priority which allows lints in the group to be selectively enabled.
pedantic = { level = "warn", priority = -1 }

large_types_passed_by_value = "allow" # Triggered by BlockHeader being Copy + 334 bytes.
# End of pedantic lints.

0 comments on commit b89aebf

Please sign in to comment.