Bump mypy from 1.8.0 to 1.12.1 #1618
Job | Run time |
---|---|
50s | |
40s | |
9s | |
35s | |
19s | |
42s | |
39s | |
39s | |
42s | |
41s | |
43s | |
43s | |
47s | |
43s | |
44s | |
44s | |
42s | |
57s | |
44s | |
49s | |
1s | |
13m 33s |
Job | Run time |
---|---|
50s | |
40s | |
9s | |
35s | |
19s | |
42s | |
39s | |
39s | |
42s | |
41s | |
43s | |
43s | |
47s | |
43s | |
44s | |
44s | |
42s | |
57s | |
44s | |
49s | |
1s | |
13m 33s |