tidy #104531
eric-wieserbuild.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
10s
Post-CI job
0s
Annotations
2 errors
|
Lint style:
Mathlib/Data/Nat/Defs.lean#L862
Mathlib/Data/Nat/Defs.lean:862 ERR_IND: If the theorem/def statement requires multiple lines, indent it correctly (4 spaces or 2 for `|`)
|
|
Lint style
Process completed with exit code 123.
|