Skip to content

Add support for tidy linting via external tools for non-rust files#112482

Merged
bors merged 2 commits intorust-lang:masterfrom
tgross35:ci-non-rust-linters
Aug 10, 2023

Commits

Commits on Aug 2, 2023