8
4%
master: 4%

Ran 19 Nov 2019 09:59AM UTC

Files 642

Run time 1min

Badge

Committed 19 Nov 2019 09:17AM UTC coverage: 71.876%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Insert GAP_VERSION into sysinfo.gap

This is useful for package build systems which want to verify
the GAP version.

Run Details

213979 of 297705 relevant lines covered (71.88%)

4727060.52 hits per line