diff options
Diffstat (limited to 'docker/scripts/lint.sh')
| -rwxr-xr-x | docker/scripts/lint.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/scripts/lint.sh b/docker/scripts/lint.sh index 09b8410..998b2b9 100755 --- a/docker/scripts/lint.sh +++ b/docker/scripts/lint.sh @@ -19,8 +19,8 @@ log "project policy" python3 /work/tools/lint_project.py /work log "Python tools: ruff and mypy" -ruff check /work/tools -ruff format --check /work/tools +ruff check /work/tools /work/spike +ruff format --check /work/tools /work/spike (cd /work && mypy) log "product list" |