torproject / tor / 8533 / 9
64%
master: 66%

Ran 22 Mar 2020 12:48AM UTC

Files 901

Run time 47s

Badge

Committed 20 Mar 2020 12:06PM UTC coverage: 63.614% (+0.02%) from 63.597%

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

Build Type

cron

travis-ci

Committed by

Commit Message

Merge remote-tracking branch 'tor-github/pr/1823/head' into maint-0.4.3

Run Details

50225 of 78953 relevant lines covered (63.61%)

37873.78 hits per line

Source Files on job 8533.9 (MAKEFLAGS="-k -j 2" HARDENING_OPTIONS="--enable-expensive-hardening" ASCIIDOC_OPTIONS="--disable-asciidoc" RUST_VERSION="1.31.0" CHUTNEY_TOR_SANDBOX="0" COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS="" TOR_TEST_RNG_SEED="636f766572616765")