1
4%
master: 4%

Ran 18 Jan 2020 10:29AM UTC

Files 652

Run time 35s

Badge

Embed ▾

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

Job # TEST_SUITES="docomp teststandard"

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

244539 of 316156 relevant lines covered (77.35%)

10662673.8 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11381.1 (TEST_SUITES="docomp teststandard")

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11381.1 (TEST_SUITES="docomp teststandard")

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

README BADGES
x