Skip to content

Merge pull request #359 from oscarbenjamin/pr_sort_mpoly_factors #1511

Merge pull request #359 from oscarbenjamin/pr_sort_mpoly_factors

Merge pull request #359 from oscarbenjamin/pr_sort_mpoly_factors #1511

Job Run time
4m 44s
2m 7s
3m 16s
5m 11s
4m 53s
5m 5s
4m 39s
6m 53s
4m 14s
4m 49s
36m 9s
1m 49s
26m 10s
14m 13s
23m 47s
1m 56s
13m 29s
17m 29s
16m 45s
18m 1s
1m 53s
0s
24s
0s
22s
17s
23s
17s
18s
18s
13s
13s
19s
12s
21s
23s
18s
22s
23s
25s
16s
22s
24s
19s
25s
1m 1s
20s
1m 19s
15s
30s
32s
17s
18s
57s
1m 26s
25s
23s
1m 12s
52s
1m 4s
13s
1m 26s
1m 23s
41s
1m 12s
54s
21s
22s
21s
1m 1s
1m 19s
1m 22s
21s
20s
12s
14s
17s
58s
34s
4h 9m 8s