dev: fix some mypy
errors and switch to ruff (#511)
#1525
Job | Run time |
---|---|
7s | |
19s | |
26s |
mypy
errors and switch to ruff (#511)
#1525
Job | Run time |
---|---|
7s | |
19s | |
26s |