5
91%
master: 91%

Ran 25 Apr 2023 05:06AM UTC

Files 62

Run time 32s

Badge

Committed 25 Apr 2023 05:05AM UTC coverage: 77.568% (-8.0%) from 85.565%

Build Type

push

github

Committed by Hernan Grecco

Commit Message

Building and testing the docs now require mip

Run Details

4229 of 5452 relevant lines covered (77.57%)

0.78 hits per line