lean-cli icon indicating copy to clipboard operation
lean-cli copied to clipboard

Code analysis in CI

Open jhonabreul opened this issue 3 years ago • 0 comments

Add code analysis to the CI so we can detect errors that otherwise would be found at runtime, like "missing require position arguments" when adding a new argument to an existing method and forgetting to pass it everywhere it is used.

jhonabreul avatar Sep 20 '22 20:09 jhonabreul