Skip to content

Merge pull request #312 from remyoudompheng/discriminant #1352

Merge pull request #312 from remyoudompheng/discriminant

Merge pull request #312 from remyoudompheng/discriminant #1352

Job Run time
3m 24s
1m 40s
12m 23s
15m 27s
10m 53s
24m 2s
34m 4s
2m 10s
5m 12s
4m 30s
4m 56s
4m 41s
4m 47s
7m 3s
1m 49s
17m 46s
17m 42s
4m 7s
19m 4s
4m 43s
1m 7s
0s
12s
24s
14s
9s
20s
14s
25s
17s
11s
9s
21s
20s
19s
27s
24s
23s
19s
28s
19s
29s
34s
20s
1m 0s
1m 10s
1m 10s
22s
24s
0s
22s
1m 21s
21s
1m 5s
54s
27s
1m 13s
2m 7s
18s
1m 21s
14s
16s
57s
27s
14s
17s
12s
22s
56s
38s
1m 9s
10s
1m 7s
32s
34s
11s
15s
41s
38s
3h 52m 13s