1
76%
main: 76%

Ran 30 Nov 2020 01:17PM UTC

Files 9

Run time 1s

Badge

Committed 30 Nov 2020 01:17PM UTC coverage: 87.664% (-0.2%) from 87.823%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge pull request #58 from LourensVeen/use-yatiml-for-profile

Run Details

96 of 121 branches covered (79.34%)

Branch coverage included in aggregate %.

373 of 414 relevant lines covered (90.1%)

0.9 hits per line