diff options
| author | jvoisin | 2023-02-20 20:00:14 +0100 |
|---|---|---|
| committer | jvoisin | 2023-02-20 21:15:07 +0100 |
| commit | a63011b3f62d8de15cb27c0af0ccd46edbd2cfc4 (patch) | |
| tree | 2adea1728d3eead90b630f1089b71b3fdf24993a /utils | |
| parent | e41390eb64eaf72fd1b9914221eaf22801812521 (diff) | |
Improve the CI
- Remove some useless linters
- Make use of ruff
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions