Skip to content

Merge pull request #405 from skryukov/use-symbol-name-for-regularize-key #1087

Merge pull request #405 from skryukov/use-symbol-name-for-regularize-key

Merge pull request #405 from skryukov/use-symbol-name-for-regularize-key #1087

Job Run time
16s
9s
9s
16s
9s
8s
21s
13s
8s
15s
10s
9s
15s
14s
10s
21s
8s
9s
52s
33s
33s
35s
22s
23s
1m 41s
2m 6s
58s
1m 9s
59s
1m 17s
1m 40s
1m 32s
1m 17s
3m 3s
2m 4s
2m 45s
2m 2s
57s
56s
17s
17s
12s
18s
13s
12s
17s
13s
13s
18s
12s
13s
19s
16s
13s
26s
15s
14s
42s
24s
29s
52s
19s
23s
39m 11s