13
91%
master: 91%

Ran 25 Apr 2023 05:07AM UTC

Files 62

Run time 30s

Badge

Committed 25 Apr 2023 05:05AM UTC coverage: 86.922% (+1.4%) from 85.565%

Build Type

push

github

Committed by Hernan Grecco

Commit Message

Building and testing the docs now require mip

Run Details

4739 of 5452 relevant lines covered (86.92%)

0.87 hits per line