26
91%
master: 91%

Ran 25 Apr 2023 05:08AM UTC

Files 62

Run time 2s

Badge

Committed 25 Apr 2023 05:05AM UTC coverage: 86.911% (+1.3%) from 85.565%

Build Type

push

github

Committed by Hernan Grecco

Commit Message

Building and testing the docs now require mip

Run Details

4741 of 5455 relevant lines covered (86.91%)

0.87 hits per line