Integrate mypy
#10
Job | Run time |
---|---|
14s | |
18s | |
24s | |
16s | |
18s | |
23s | |
15s | |
23s | |
48s | |
45s | |
42s | |
48s | |
41s | |
21s | |
6m 36s |
mypy
#10
Job | Run time |
---|---|
14s | |
18s | |
24s | |
16s | |
18s | |
23s | |
15s | |
23s | |
48s | |
45s | |
42s | |
48s | |
41s | |
21s | |
6m 36s |