Skip to content

Merge pull request #498 from katef/sv/determinise-with-config #1233

Merge pull request #498 from katef/sv/determinise-with-config

Merge pull request #498 from katef/sv/determinise-with-config #1233

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