Skip to content
Back to pull request #16334

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

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

build

build
succeeded Nov 21, 2024 in 45s