3
4%
master: 4%

Ran 19 Nov 2019 09:47AM UTC

Files 675

Run time 2min

Badge

Committed 19 Nov 2019 09:17AM UTC coverage: 77.173%. 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

248210 of 321627 relevant lines covered (77.17%)

10068641.69 hits per line