David Robertson
|
4aeb00ca20
Move synctl into `synapse._scripts` and expose as an entrypoint (#12140)
|
il y a 2 ans |
David Robertson
|
1fbe0316a9
Add suffices to scripts in scripts-dev (#12137)
|
il y a 2 ans |
David Robertson
|
f3f0ab10fe
Move scripts directory inside synapse, exposing as setuptools entry_points (#12118)
|
il y a 2 ans |
Nick Barrett
|
c80878d22a
Add `--run-background-updates` option to `update_database` script. (#10954)
|
il y a 3 ans |
David Robertson
|
314a739160
Also rename in lint.sh
|
il y a 3 ans |
David Robertson
|
c0ebdfc77e
Kill off the .buildkite dir completely
|
il y a 3 ans |
Richard van der Hoff
|
6482075c95
Run `black` on the scripts (#9981)
|
il y a 3 ans |
Patrick Cloke
|
5fe38e07e7
Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)" (#9720)
|
il y a 3 ans |
Andrew Morgan
|
f380bb77d1
Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)
|
il y a 3 ans |
Quentin Gliech
|
d4c4798a25
Use interpreter from $PATH instead of absolute paths in various scripts using /usr/bin/env (#9689)
|
il y a 3 ans |
Andrew Morgan
|
31c5382d7a
Align the directories linted in CI with the defaults in scripts-dev/lint.sh (#9191)
|
il y a 3 ans |
Patrick Cloke
|
00b24aa545
Support generating structured logs in addition to standard logs. (#8607)
|
il y a 4 ans |
kleph
|
29ce6d43b5
Run mypy as part of the lint.sh script. (#8633)
|
il y a 4 ans |
Andrew Morgan
|
654e239b25
Add option to scripts-dev/lint.sh to only lint files changed since the last git commit (#8472)
|
il y a 4 ans |
Andrew Morgan
|
b7ddece2a6
Lint the contrib/ directory in CI and linting scripts, add synctl to linting script (#7914)
|
il y a 4 ans |
Will Hunt
|
62b1ce8539
isort 5 compatibility (#7786)
|
il y a 4 ans |
Andrew Morgan
|
177b2d0c19
Move flake8 to end. Don't exit script on failure (#7738)
|
il y a 4 ans |
Neil Pilgrim
|
befd58f47b
Document lint.sh & allow application to specified files only (#6312)
|
il y a 5 ans |
Andrew Morgan
|
409c62b27b
Add config linting script that checks for bool casing (#6203)
|
il y a 5 ans |
Andrew Morgan
|
3dd61d12cd
Add a linting script (#5627)
|
il y a 5 ans |