Closed blegat closed 10 months ago
Merging #236 (0ba5f87) into master (2d1a8e7) will increase coverage by
0.17%
. Report is 5 commits behind head on master. The diff coverage is100.00%
.
@@ Coverage Diff @@
## master #236 +/- ##
==========================================
+ Coverage 88.07% 88.24% +0.17%
==========================================
Files 16 16
Lines 2969 2970 +1
==========================================
+ Hits 2615 2621 +6
+ Misses 354 349 -5
Files Changed | Coverage Δ | |
---|---|---|
src/MOI_wrapper/MOI_wrapper.jl | 86.57% <100.00%> (+2.38%) |
:arrow_up: |
:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more
Otherwise,
JuMP.solution_summary
throws an error