chore(formatting): switch to ruff #588
Job | Run time |
---|---|
45m 45s | |
48m 55s | |
1h 3m 32s | |
44m 50s | |
46m 46s | |
47m 2s | |
47m 35s | |
45m 41s | |
42m 36s | |
7h 12m 42s |
Job | Run time |
---|---|
45m 45s | |
48m 55s | |
1h 3m 32s | |
44m 50s | |
46m 46s | |
47m 2s | |
47m 35s | |
45m 41s | |
42m 36s | |
7h 12m 42s |