jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
18 stars 4 forks source link

Add support for MOI.VersionNumber #41

Closed odow closed 1 year ago

odow commented 1 year ago

Closes #40

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 100.00% and project coverage change: +0.03% :tada:

Comparison is base (5984159) 97.28% compared to head (2e0b730) 97.32%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #41 +/- ## ========================================== + Coverage 97.28% 97.32% +0.03% ========================================== Files 3 3 Lines 442 448 +6 ========================================== + Hits 430 436 +6 Misses 12 12 ``` | [Files Changed](https://app.codecov.io/gh/jump-dev/MiniZinc.jl/pull/41?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | Coverage Δ | | |---|---|---| | [src/optimize.jl](https://app.codecov.io/gh/jump-dev/MiniZinc.jl/pull/41?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL29wdGltaXplLmps) | `92.42% <100.00%> (+0.36%)` | :arrow_up: |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

chriscoey commented 1 year ago

Thanks @odow!

chriscoey commented 1 year ago

@odow are we OK to tag/release?