typing: additional improvements and clanup #319
Job | Run time |
---|---|
28s | |
21s | |
28s | |
14s | |
16s | |
37s | |
2m 7s | |
38s | |
4m 23s | |
34s | |
45s | |
23s | |
29s | |
24s | |
24s | |
28s | |
2m 32s | |
2m 20s | |
1m 5s | |
1m 7s | |
1m 42s | |
2m 46s | |
36s | |
1m 42s | |
1m 37s | |
4m 7s | |
1m 40s | |
4m 8s | |
1m 35s | |
4m 0s | |
1m 51s | |
3m 2s | |
1m 58s | |
4m 34s | |
45s | |
3m 35s | |
3m 16s | |
1h 2m 57s |