Patrick Cloke
|
5fe38e07e7
Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)" (#9720)
|
3 anos atrás |
Andrew Morgan
|
f380bb77d1
Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)
|
3 anos atrás |
Quentin Gliech
|
d4c4798a25
Use interpreter from $PATH instead of absolute paths in various scripts using /usr/bin/env (#9689)
|
3 anos atrás |
Andrew Morgan
|
31c5382d7a
Align the directories linted in CI with the defaults in scripts-dev/lint.sh (#9191)
|
3 anos atrás |
Patrick Cloke
|
00b24aa545
Support generating structured logs in addition to standard logs. (#8607)
|
4 anos atrás |
kleph
|
29ce6d43b5
Run mypy as part of the lint.sh script. (#8633)
|
4 anos atrás |
Andrew Morgan
|
654e239b25
Add option to scripts-dev/lint.sh to only lint files changed since the last git commit (#8472)
|
4 anos atrás |
Andrew Morgan
|
b7ddece2a6
Lint the contrib/ directory in CI and linting scripts, add synctl to linting script (#7914)
|
4 anos atrás |
Will Hunt
|
62b1ce8539
isort 5 compatibility (#7786)
|
4 anos atrás |
Andrew Morgan
|
177b2d0c19
Move flake8 to end. Don't exit script on failure (#7738)
|
4 anos atrás |
Neil Pilgrim
|
befd58f47b
Document lint.sh & allow application to specified files only (#6312)
|
5 anos atrás |
Andrew Morgan
|
409c62b27b
Add config linting script that checks for bool casing (#6203)
|
5 anos atrás |
Andrew Morgan
|
3dd61d12cd
Add a linting script (#5627)
|
5 anos atrás |