Skip to content
continuous integration (staging)

feat: rewrite the trailing whitespace linter in Lean (#16334) #12135

Sign in to view logs

feat: rewrite the trailing whitespace linter in Lean (#16334)

feat: rewrite the trailing whitespace linter in Lean (#16334) #12135

Build

Build
succeeded Nov 22, 2024 in 8m 30s