Lint code #1137
lint.yaml
on: pull_request
Get changed files
15s
Check formatting
11s
Check linting
10s
Check types with mypy
21s
Check docs
50s