2
4%
master: 4%

Ran 10 Dec 2019 11:31AM UTC

Files 648

Run time 39s

Badge

Embed ▾

Committed 10 Dec 2019 11:03AM UTC coverage: 77.178%. Remained the same

Job # TEST_SUITES="docomp teststandard" ABI=32 CONFIGFLAGS=""

Build Type

push

travis-ci

Committed by

wilfwilson

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

Run Details

242888 of 314712 relevant lines covered (77.18%)

4967995.94 hits per line

gap-system / gap / 11042 / 2
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11042.2 (TEST_SUITES="docomp teststandard" ABI=32 CONFIGFLAGS="")

gap-system / gap / 11042 / 2 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11042.2 (TEST_SUITES="docomp teststandard" ABI=32 CONFIGFLAGS="")

gap-system / gap / 11042 / 2
4%
master: 4%

README BADGES
x