6
85%
master: 4%

Ran 11 Dec 2019 03:49PM UTC

Files 649

Run time 47s

Badge

Embed ▾

Committed 10 Dec 2019 03:58PM UTC coverage: 73.144%. Remained the same

Job # TEST_SUITES="docomp testinstall"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Tweak README.md and INSTALL.md instructions some more

- suggest `apt-get` over `apt` as the latter is not present by default
  (at least on older systems)
- make sure users who follow the instructions in INSTALL.md are made
  aware of some of the information in README.md that pertains to them,
  even if they are not installing GAP from the git repository.
- don't mention the obsolete BOB tool
- list zlib as an optional dependency
- clarify that GMP is optional, too

Coverage Stats

230801 of 315543 relevant lines covered (73.14%)

2414477.22 hits per line

gap-system / gap / 11043 / 6
85%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11043.6 (TEST_SUITES="docomp testinstall")

gap-system / gap / 11043 / 6 85% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11043.6 (TEST_SUITES="docomp testinstall")

gap-system / gap / 11043 / 6
85%
master: 4%

README BADGES
x