Skip to content

fix(lint): Warn not Error on unsupported lint tool#13833

Merged
bors merged 1 commit intorust-lang:masterfrom Muscraft:warn-unknown-tool-lints-tableMay 1, 2024
+11-7

Commits