Skip to content
Back to pull request #16334

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

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 #69060

Check all files imported

Check all files imported
succeeded Nov 21, 2024 in 46s