10
91%
master: 91%

Ran 25 Apr 2023 05:07AM UTC

Files 62

Run time 32s

Badge

Committed 25 Apr 2023 05:05AM UTC coverage: 85.565%. Remained the same

Build Type

push

github

Committed by Hernan Grecco

Commit Message

Building and testing the docs now require mip

Run Details

4665 of 5452 relevant lines covered (85.56%)

0.86 hits per line