3
75%
main: 75%

Ran 24 Apr 2023 03:16PM UTC

Files 339

Run time 8s

Badge

Committed 24 Apr 2023 03:10PM UTC coverage: 51.011%. Remained the same

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #2465 from aganders3/attenuated-mip-optimization

Coverage Stats

3229 of 8678 branches covered (37.21%)

16127 of 31615 relevant lines covered (51.01%)

0.51 hits per line