Skip to content
Post PR summary comment

[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

Triggered via pull request November 21, 2024 15:46
@grunweggrunweg
synchronize #16334
MR-trailingWhitespaceLinter
Status Success
Total duration 53s
Artifacts –

PR_summary.yml

on: pull_request
build
45s
build
Fit to window
Zoom out
Zoom in