8
4%
master: 4%

Ran 27 Jun 2019 10:03PM UTC

Files 643

Run time 1min

Badge

Embed ▾

Committed 27 Jun 2019 09:20PM UTC coverage: 71.9% (-0.001%) from 71.901%

Job # TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Improve our use of InstallIsomorphismMaintenance

Unlike for factors and subsets, an isomorphism can transfer also *false*
properties. Despite this, most of our uses of InstallIsomorphismMaintenance
restricted it to true values. We change that, and and also transfer
some attributes for which it makes sense.

Many more InstallIsomorphismMaintenance could be added to complement
existing factor and subset maintenance installations.

Run Details

213216 of 296546 relevant lines covered (71.9%)

4660120.95 hits per line

gap-system / gap / 10156 / 8
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10156.8 (TEST_SUITES=testmanuals)

gap-system / gap / 10156 / 8 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10156.8 (TEST_SUITES=testmanuals)

gap-system / gap / 10156 / 8
4%
master: 4%

README BADGES
x