dev: fix some mypy
errors and switch to ruff
#1524
Job | Run time |
---|---|
23s | |
7s | |
30s |
mypy
errors and switch to ruff
#1524
Job | Run time |
---|---|
23s | |
7s | |
30s |