diff options
| author | Finn Steffens <34682885+0xhtml@users.noreply.github.com> | 2023-12-10 12:45:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-10 11:45:01 +0000 |
| commit | 9a23ec1f60ec85f6afb70870a1978141b321fb3c (patch) | |
| tree | 5da9624f31fbe6d2fd1fec039046c73f74fbcb60 /supported-tools.md | |
| parent | ecc796b3d798f86a619469559977a76b439f7333 (diff) | |
| download | ale-9a23ec1f60ec85f6afb70870a1978141b321fb3c.zip | |
Ruff use json-lines output format (#4656)
* Ruff use json-lines output format
* Fix Ruff: add -q to prevent non json output
Using the json-lines output format allows for setting of the end_line,
end_col and code field of the handle output.
Additionally, the first letter of the code is used to determine the type
field.
Co-authored-by: w0rp <w0rp@users.noreply.github.com>
Diffstat (limited to 'supported-tools.md')
0 files changed, 0 insertions, 0 deletions