2
4%
master: 4%

Ran 18 Jan 2020 10:21AM UTC

Files 652

Run time 38s

Badge

Embed ▾

Committed 18 Jan 2020 09:58AM UTC coverage: 77.297%. Remained the same

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

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Travis: use curl instead of wget for bootstrap

We've been seeing wget fail due to DNS resolver errors; perhaps curl will fare
better (and e.g. at least retry if such an error occurs)

Run Details

243608 of 315157 relevant lines covered (77.3%)

4869539.82 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x