1
75%
dev: 74%

Ran 13 Oct 2020 08:49PM UTC

Files 143

Run time 35s

Badge

Committed 13 Oct 2020 08:49PM UTC coverage: 75.249% (+1.4%) from 73.856%

Build Type

push

github-actions

Committed by GitHub

Commit Message

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

Run Details

3881 of 6195 branches covered (62.65%)

11857 of 15757 relevant lines covered (75.25%)

0.75 hits per line