chore: cleanup Ruff a bit (#783) #1010
Job | Run time |
---|---|
21s | |
2m 29s | |
2m 33s | |
36s | |
2m 48s | |
2m 43s | |
2m 42s | |
3m 24s | |
5m 36s | |
6m 22s | |
6m 16s | |
6m 39s | |
6m 40s | |
7m 2s | |
5m 41s | |
5m 33s | |
5m 38s | |
8m 39s | |
10m 33s | |
11m 19s | |
15s | |
0s | |
1h 43m 49s |
Job | Run time |
---|---|
21s | |
2m 29s | |
2m 33s | |
36s | |
2m 48s | |
2m 43s | |
2m 42s | |
3m 24s | |
5m 36s | |
6m 22s | |
6m 16s | |
6m 39s | |
6m 40s | |
7m 2s | |
5m 41s | |
5m 33s | |
5m 38s | |
8m 39s | |
10m 33s | |
11m 19s | |
15s | |
0s | |
1h 43m 49s |