Skip to content

dhkem: enable and fix lints#235

Merged
tarcieri merged 1 commit intomasterfrom
dhkem/enable-and-fix-lints
Feb 1, 2026
Merged

dhkem: enable and fix lints#235
tarcieri merged 1 commit intomasterfrom
dhkem/enable-and-fix-lints

Conversation

@tarcieri
Copy link
Member

@tarcieri tarcieri commented Feb 1, 2026

Enables the workspace-level lint config added in #232

Enables the workspace-level lint config added in #232
@tarcieri tarcieri merged commit fb9df27 into master Feb 1, 2026
13 checks passed
@tarcieri tarcieri deleted the dhkem/enable-and-fix-lints branch February 1, 2026 00:12
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