Skip to content
Back to pull request #16334

[Merged by Bors] - feat: rewrite the trailing whitespace linter in Lean #46816

Sign in to view logs

[Merged by Bors] - feat: rewrite the trailing whitespace linter in Lean

[Merged by Bors] - feat: rewrite the trailing whitespace linter in Lean #46816

label-and-report-new-contributor

label-and-report-new-contributor
succeeded Nov 21, 2024 in 9s