Skip to content

Narrow types

Narrow types #23292

Job Run time
25s
27s
38s
17s
19s
39s
23s
24s
20s
40s
23s
27s
25s
18s
55s
24s
25s
24s
18s
20s
25s
22s
28s
24s
38s
20s
21s
26s
25s
17s
18s
26s
29s
22s
27s
23s
22s
23s
20s
24s
17s
28s
22s
24s
27s
23s
22s
17s
30s
21s
26s
22s
25s
23s
29s
24s
25s
16s
23m 52s