Aarni Koskela
Aarni Koskela
> No, it is on purpose when we need to skip CI for certain updates. But I don't get what you mean by > > `There is nothing in the...
ping @erogol, in case you missed my reply above :)
> meaning even if we merge this PR [ci skip] is still there natively? So it would seem.
Rebased post #3405. @erogol Could this get merged?
@erogol * Ruff is a lot (up to 100x) faster than pylint (so linting isn't frustrating and can be done in e.g. pre-commit) * It supports most of what Pylint...
@erogol Rebased on current `dev`.
@erogol Rebased once again... 🙂
... and again, following #3149...
... and again. This also includes #3170 because it'd otherwise cause a lint failure.
@erogol Could this get merged now? You can always disable some lints if they end up being too noisy...