General improvements to type docs #858
Job | Run time |
---|---|
48s | |
1m 40s | |
1m 21s | |
58s | |
24s | |
1m 12s | |
2m 14s | |
4m 14s | |
1m 20s | |
4m 14s | |
1m 7s | |
16s | |
1m 41s | |
1m 28s | |
1m 47s | |
24m 44s |
Job | Run time |
---|---|
48s | |
1m 40s | |
1m 21s | |
58s | |
24s | |
1m 12s | |
2m 14s | |
4m 14s | |
1m 20s | |
4m 14s | |
1m 7s | |
16s | |
1m 41s | |
1m 28s | |
1m 47s | |
24m 44s |