10177
61%
master: 66%

Ran 07 Oct 2020 03:51PM UTC

Jobs 1

Files 723

Run time 2min

Badge

Build # 10177

Build Type

push

travis-ci

Committed by

Commit Message

Merge remote-tracking branch 'tor-github/pr/1827/head' into maint-0.3.5

Run Details

18 of 18 new or added lines in 1 file covered. (100.0%)

44626 of 73192 relevant lines covered (60.97%)

35356.27 hits per line

ID	Job ID	Ran	Files	Coverage
8	10177.8 (MAKEFLAGS="-k -j 2" HARDENING_OPTIONS="--enable-expensive-hardening" ASCIIDOC_OPTIONS="--disable-asciidoc" CHUTNEY_TOR_SANDBOX="0" COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS="")	07 Oct 2020 03:51PM UTC	0	60.97	Travis Job 10177.8

Detailed source file information is not available for this build.