13
4%
master: 4%

Ran 18 May 2020 08:36PM UTC

Files 656

Run time 1min

Badge

Committed 18 May 2020 02:58PM UTC coverage: 72.275%. Remained the same

Job # CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

doc: fix ref manual list of special characters

The manual lists characters that occur in regular GAP code; it contains
a backtick, which is not used by GAP, but is missing a single quotation
mark, which *is* used, for character constants. This is likely a typo,
and this commit fixes it.

Run Details

222423 of 307744 relevant lines covered (72.28%)

776851.98 hits per line

Source Files on job 11988.13 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 11988 / 13
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11988.13 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 11988 / 13 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11988.13 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 11988 / 13
4%
master: 4%

README BADGES
x