Skip to content

Improve type for predefined constant #13951

Improve type for predefined constant

Improve type for predefined constant #13951

Job Run time
1m 9s
0s
6s
6s
4s
23s
21s
21s
35s
17s
25s
28s
18s
21s
16s
13s
15s
22s
17s
19s
25s
25s
14s
28s
18s
18s
18s
19s
16s
35s
23s
20s
27s
16s
23s
22s
19s
21s
33s
30s
28s
23s
20s
16s
16s
17s
23s
17s
26s
18s
30s
21s
16s
15s
18s
21s
19s
35s
16s
26s
22s
31s
21s
28s
23s
27s
21s
19s
23s
26s
1m 13s
20s
18s
26s
31s
43s
16s
23s
21s
29s
19s
41s
50s
28s
15s
17s
14s
15s
15s
15s
30s
36s
54s
24s
55s
21s
13s
15s
23s
24s
16s
19s
1m 28s
22s
23s
22s
1m 4s
32s
19s
27s
33s
29s
22s
25s
31s
28s
1m 12s
1m 25s
35s
26s
34s
32s
23s
27s
26s
28s
23s
1m 0s
21s
1m 20s
29s
27s
22s
36s
39s
42s
25s
22s
30s
1m 6s
18s
1m 12s
29s
19s
28s
38s
38s
24s
21s
23s
31s
58s
25s
1m 16s
28s
19s
19s
25s
48s
18s
21s
21s
24s
1m 2s
21s
1m 24s
27s
19s
28s
42s
44s
21s
22s
26s
33s
1m 7s
45s
25s
17s
20s
26s
34s
21s
22s
21s
1m 5s
52s
50s
1m 42s
36s
50s
1m 2s
29s
38s
24s
52s
43s
30s
40s
28s
3m 12s
55s
24s
25s
54s
38s
22s
25s
4m 58s
25s
1m 7s
30s
28s
22s
24s
24s
44s
50s
43s
50s
47s
17s
1m 52s
23s
23s
22s
1m 28s
1m 28s
1s
2h 4m 14s