8
4%
master: 4%

Ran 18 Oct 2019 02:15PM UTC

Files 642

Run time 1min

Badge

Embed ▾

Committed 18 Oct 2019 01:30PM UTC coverage: 71.895%. Remained the same

Job # TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Add parts for GAP package build systems

The file Makefile.gappkg is already use by several GAP packages. By
shipping it with GAP, it gets easier for new GAP packages to provide
simple kernel extensions.

Run Details

213962 of 297605 relevant lines covered (71.89%)

4723828.78 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10806.8 (TEST_SUITES=testmanuals)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10806.8 (TEST_SUITES=testmanuals)

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

README BADGES
x