Closed odow closed 1 year ago
Patch and project coverage have no change.
Comparison is base (
4ac6a93
) 88.76% compared to head (bcebcfc
) 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.
Great, thanks for updating this @odow!
JuMP recently tweaked how we printed sets: https://github.com/jump-dev/JuMP.jl/pull/3341.
I also took the liberty of adding compat bounds for your test dependencies.