16
4%
master: 4%

Ran 06 Aug 2020 04:40PM UTC

Files 653

Run time 3min

Badge

Committed 06 Aug 2020 03:43PM UTC coverage: 72.555% (+0.001%) from 72.554%

Job # CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="docomp testinstall"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Remove references to dev/Updates; update dev manual

The dev manual still is heavily outdated, but at least now slightly less so.
Of course we still need to ask ourselves if we want to document e.g. the website
maintenance process in there; or in a file in the GapWWW git repository; or
elsewhere.

Run Details

225176 of 310353 relevant lines covered (72.55%)

2110693.88 hits per line

Source Files on job 12185.16 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="docomp testinstall")

gap-system / gap / 12185 / 16
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 12185.16 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="docomp testinstall")

gap-system / gap / 12185 / 16 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 12185.16 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="docomp testinstall")

gap-system / gap / 12185 / 16
4%
master: 4%

README BADGES
x