Closed pulsipher closed 1 year ago
Merging #307 (10f7f6d) into master (c1b8f65) will increase coverage by
0.00%
. The diff coverage is100.00%
.
@@ Coverage Diff @@
## master #307 +/- ##
=======================================
Coverage 99.77% 99.77%
=======================================
Files 36 36
Lines 7095 7099 +4
=======================================
+ Hits 7079 7083 +4
Misses 16 16
Impacted Files | Coverage Δ | |
---|---|---|
src/MeasureToolbox/integrals.jl | 100.00% <100.00%> (ø) |
|
src/datatypes.jl | 100.00% <100.00%> (ø) |
The errors are because of https://github.com/jump-dev/JuMP.jl/issues/3330.
Fixes #306.