wip #146281
Annotations
3 errors
|
run style linters:
Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean#L136
Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean:136 ERR_TWS: Trailing whitespace detected on line
|
|
run style linters:
Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean#L210
Mathlib/LinearAlgebra/Matrix/FixedDetMatrices.lean:210 ERR_TWS: Trailing whitespace detected on line
|
|
run style linters
Process completed with exit code 1.
|
Loading