torproject / tor / 8347 / 8
61%
master: 66%

Ran 13 Mar 2020 08:59PM UTC

Files 723

Run time 1min

Badge

Committed 13 Mar 2020 08:46PM UTC coverage: 60.904% (+1.7%) from 59.21%

Job # MAKEFLAGS="-k -j 2" HARDENING_OPTIONS="--enable-expensive-hardening" ASCIIDOC_OPTIONS="--disable-asciidoc" CHUTNEY_TOR_SANDBOX="0" COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS=""

Build Type

push

travis-ci

Committed by

Commit Message

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

Run Details

44562 of 73168 relevant lines covered (60.9%)

30244.45 hits per line

Source Files on job 8347.8 (MAKEFLAGS="-k -j 2" HARDENING_OPTIONS="--enable-expensive-hardening" ASCIIDOC_OPTIONS="--disable-asciidoc" CHUTNEY_TOR_SANDBOX="0" COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS="")