dev: fix some mypy
errors and switch to ruff
#1523
Job | Run time |
---|---|
4s | |
16s | |
20s |
mypy
errors and switch to ruff
#1523
Job | Run time |
---|---|
4s | |
16s | |
20s |