8
85%
master: 4%

Ran 11 Dec 2019 04:04PM UTC

Files 643

Run time 1min

Badge

Embed ▾

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

Job # TEST_SUITES=testmanuals

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

213971 of 297882 relevant lines covered (71.83%)

4714753.56 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11043.8 (TEST_SUITES=testmanuals)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11043.8 (TEST_SUITES=testmanuals)

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

README BADGES
x