wip: allow specifying a single file to lint #95076
Annotations
1 error
|
run text-based style linters in Lean
Process completed with exit code 1.
|
Loading