Lint code #1745
lint.yml
on: pull_request
Get changed files
9s
Check formatting
12s
Check linting
13s
Check types with mypy
14s
Check docs
35s