Skip to content
continuous integration (staging)

fix: silence the header linter on non-Mathlib.lean imported files (… #12114

Sign in to view logs

fix: silence the header linter on non-Mathlib.lean imported files (…

fix: silence the header linter on non-Mathlib.lean imported files (… #12114

Cancel Previous Runs (CI)

Cancel Previous Runs (CI)
succeeded Nov 21, 2024 in 4s