[chore] Clean up types #473
Job | Run time |
---|---|
37s | |
39s | |
39s | |
38s | |
39s | |
40s | |
41s | |
38s | |
40s | |
41s | |
49s | |
42s | |
40s | |
35s | |
41s | |
35s | |
34s | |
35s | |
11m 43s |
Job | Run time |
---|---|
37s | |
39s | |
39s | |
38s | |
39s | |
40s | |
41s | |
38s | |
40s | |
41s | |
49s | |
42s | |
40s | |
35s | |
41s | |
35s | |
34s | |
35s | |
11m 43s |