Closed odow closed 1 year ago
Patch and project coverage have no change.
Comparison is base (
41e0553
) 88.76% compared to head (9217fdc
) 88.76%.
:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.
A couple of fixes for https://github.com/jump-dev/JuMP.jl/pull/3379