Merge pull request #375 from mr-c/type_hints #38
Job | Run time |
---|---|
18s | |
20s | |
21s | |
20s | |
1m 16s | |
19s | |
18s | |
18s | |
16s | |
1m 3s | |
21s | |
19s | |
18s | |
20s | |
1m 9s | |
7m 16s |
Job | Run time |
---|---|
18s | |
20s | |
21s | |
20s | |
1m 16s | |
19s | |
18s | |
18s | |
16s | |
1m 3s | |
21s | |
19s | |
18s | |
20s | |
1m 9s | |
7m 16s |