6
63%
master: 64%

Ran 08 Aug 2019 09:16AM UTC

Files 865

Run time 611min

Badge

Embed ▾

Committed 08 Aug 2019 08:59AM UTC coverage: 62.848%. Remained the same

Job # COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS="" TOR_TEST_RNG_SEED="636f766572616765"

Build Type

push

travis-ci

Committed by

teor2345

Commit Message

scripts/git: add TOR_PUSH_DELAY to git-push-all.sh

Add a TOR_PUSH_DELAY variable to git-push-all.sh, which makes the script
push master and maint branches with a delay between each branch. These
delays trigger the CI jobs in a set order, which should show the most
likely failures first.

Also:
* make pushes atomic by default, and
* make the script pass any command-line arguments to git push.

Closes ticket 29879.

Run Details

47258 of 75194 relevant lines covered (62.85%)

48272.57 hits per line

teor2345 / tor / 742 / 6
63%
master: 64%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 742.6 (COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS="" TOR_TEST_RNG_SEED="636f766572616765")

teor2345 / tor / 742 / 6 63% master: 64%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 742.6 (COVERAGE_OPTIONS="--enable-coverage" HARDENING_OPTIONS="" TOR_TEST_RNG_SEED="636f766572616765")

teor2345 / tor / 742 / 6
63%
master: 64%

README BADGES
x