1
92%
develop: 97%

Ran 06 Feb 2021 01:35PM UTC

Files 23

Run time 1s

Badge

Committed 06 Feb 2021 01:35PM UTC coverage: 92.336% (+0.6%) from 91.72%

Build Type

push

github

Committed by Augusto W. Andreoli

Commit Message

Merge branch 'develop' into experimental-cli

Run Details

386 of 462 branches covered (83.55%)

Branch coverage included in aggregate %.

1361 of 1430 relevant lines covered (95.17%)

0.95 hits per line