1
85%
master: 4%

Ran 17 Sep 2019 10:26AM UTC

Files 649

Run time 38s

Badge

Embed ▾

Committed 17 Sep 2019 09:10AM UTC coverage: 77.009%. Remained the same

Job # TEST_SUITES="docomp testtravis"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

direct_factors.tst: fix random fluctuations

Depending on which direct factors among the many possibilities
are chosen, the result of List(DirectFactorsOfGroup(G), IdGroup)
could vary in its ordering. So we sort it to avoid that issue.

Coverage Stats

242854 of 315357 relevant lines covered (77.01%)

9094855.79 hits per line

gap-system / gap / 10645 / 1
85%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10645.1 (TEST_SUITES="docomp testtravis")

gap-system / gap / 10645 / 1 85% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10645.1 (TEST_SUITES="docomp testtravis")

gap-system / gap / 10645 / 1
85%
master: 4%

README BADGES
x