1
75%
dev: 74%

Ran 07 Jul 2020 10:05PM UTC

Files 142

Run time 27s

Badge

Committed 07 Jul 2020 10:05PM UTC coverage: 70.272% (+2.0%) from 68.29%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge branch 'dev' into use-context-newline-for-tubes

Run Details

3327 of 5911 branches covered (56.28%)

10812 of 15386 relevant lines covered (70.27%)

0.7 hits per line