4
4%
master: 4%

Ran 18 Jan 2020 10:20AM UTC

Files 652

Run time 37s

Badge

Embed ▾

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

Job # TEST_SUITES="testpackages testinstall-loadall" ABI=64

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

231724 of 316144 relevant lines covered (73.3%)

2497784.98 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11381.4 (TEST_SUITES="testpackages testinstall-loadall" ABI=64)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11381.4 (TEST_SUITES="testpackages testinstall-loadall" ABI=64)

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

README BADGES
x