Skip to content

[types] improve types #40

[types] improve types

[types] improve types #40

Job Run time
8s
10s
9s
11s
2m 56s
43s
1m 5s
1m 19s
1m 28s
47s
1m 5s
59s
1m 2s
1m 24s
1m 30s
1m 37s
0s
0s
45s
41s
42s
41s
40s
45s
41s
40s
46s
41s
41s
44s
45s
45s
41s
41s
41s
41s
41s
41s
42s
42s
42s
41s
45s
45s
46s
44s
47s
52s
46s
50s
52s
52s
46s
46s
51s
48s
55s
56s
54s
57s
56s
50s
54s
50s
51s
53s
52s
52s
50s
51s
1m 17s
1m 9s
1m 6s
1m 14s
1m 8s
1m 6s
1m 5s
1m 11s
1m 4s
1m 7s
1m 6s
1m 9s
1m 5s
1m 9s
1m 5s
41s
44s
41s
42s
40s
42s
41s
42s
45s
53s
51s
52s
49s
51s
50s
53s
49s
51s
48s
50s
53s
51s
51s
47s
54s
43s
40s
6s
1s
1h 35m 16s