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

Ran 29 Jun 2020 05:49PM UTC

Files 723

Run time 2min

Badge

Committed 29 Jun 2020 04:55PM UTC coverage: 60.94% (+1.7%) from 59.218%

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/1725/head' into maint-0.3.5

Run Details

44586 of 73164 relevant lines covered (60.94%)

30146.07 hits per line

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