8
85%
master: 4%

Ran 17 Sep 2019 10:47AM UTC

Files 643

Run time 37s

Badge

Embed ▾

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

Job # TEST_SUITES=testmanuals

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

213817 of 297375 relevant lines covered (71.9%)

4700318.64 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10645.8 (TEST_SUITES=testmanuals)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10645.8 (TEST_SUITES=testmanuals)

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

README BADGES
x