Skip to content

Merge pull request #492 from katef/sv/determine-which-characters-must… #1226

Merge pull request #492 from katef/sv/determine-which-characters-must…

Merge pull request #492 from katef/sv/determine-which-characters-must… #1226

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