dev: fix some mypy errors and switch to ruff
#2152
| Job | Run time |
|---|---|
| 3m 17s | |
| 43s | |
| 1m 2s | |
| 3m 59s | |
| 1m 4s | |
| 1m 18s | |
| 1m 18s | |
| 1m 28s | |
| 0s | |
| 14m 9s |
mypy errors and switch to ruff
#2152
| Job | Run time |
|---|---|
| 3m 17s | |
| 43s | |
| 1m 2s | |
| 3m 59s | |
| 1m 4s | |
| 1m 18s | |
| 1m 18s | |
| 1m 28s | |
| 0s | |
| 14m 9s |