Closed odow closed 10 months ago
Merging #315 (2969182) into master (ed8fcef) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #315 +/- ##
=======================================
Coverage 99.74% 99.74%
=======================================
Files 79 79
Lines 7353 7353
=======================================
Hits 7334 7334
Misses 19 19
:mega: Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!
You can ignore the changelog error failing here, that is just if we release a new version with a PR the changelog should have an entry. I will add this to another version anyways. You can still add a small (unreleased) entry with a change of the readme as a comment if you want.
A : works as well, sure – do you need this registered or is it enough to have this on master/main?
It's enough to just have this on main
. I can use a commit hash as the reference.
Great. Then we can merge this already and it will be part of the next (but a bit later) release.
x-ref https://github.com/jump-dev/JuMP.jl/pull/3568