1
75%
dev: 74%

Ran 13 Oct 2020 08:48PM UTC

Files 143

Run time 29s

Badge

Committed 13 Oct 2020 08:48PM UTC coverage: 73.856% (+3.6%) from 70.272%

Build Type

push

github-actions

Committed by GitHub

Commit Message

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

Run Details

3583 of 5967 branches covered (60.05%)

11455 of 15510 relevant lines covered (73.86%)

0.74 hits per line