Skip to content

ml-kem: move lint config to workspace Cargo.toml#232

Merged
tarcieri merged 1 commit intomasterfrom
ml-kem/move-lint-config-to-workspace-cargo-toml
Jan 31, 2026
Merged

ml-kem: move lint config to workspace Cargo.toml#232
tarcieri merged 1 commit intomasterfrom
ml-kem/move-lint-config-to-workspace-cargo-toml

Conversation

@tarcieri
Copy link
Member

This lets us share a lint configuration among all the crates in the workspace

@tarcieri tarcieri force-pushed the ml-kem/move-lint-config-to-workspace-cargo-toml branch from 8bc68c1 to cb204c5 Compare January 31, 2026 22:02
This lets us share a lint configuration among all the crates in the
workspace
@tarcieri tarcieri force-pushed the ml-kem/move-lint-config-to-workspace-cargo-toml branch from cb204c5 to b4cc70c Compare January 31, 2026 22:03
@tarcieri tarcieri merged commit dc9a4bc into master Jan 31, 2026
44 checks passed
@tarcieri tarcieri deleted the ml-kem/move-lint-config-to-workspace-cargo-toml branch January 31, 2026 22:08
tarcieri added a commit that referenced this pull request Jan 31, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Jan 31, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Jan 31, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Jan 31, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
...or ignore them for now! This one's kind of on the backburner.

Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
...or ignore them for now! This one's kind of on the backburner.

Enables the workspace-level lint config added in #232
tarcieri added a commit that referenced this pull request Feb 1, 2026
...or ignore them for now! This one's kind of on the backburner.

Enables the workspace-level lint config added in #232
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.

1 participant