lean-cli
lean-cli copied to clipboard
Code analysis in CI
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.