New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Promote bound of Interval if they have different types #2577

Merged

odow merged 5 commits into master from bl/interval_promote

Nov 3, 2024

Merged

Promote bound of Interval if they have different types #2577

Apply suggestions from code review

Codecov / codecov/patch failed Nov 2, 2024 in 1s

0.00% of diff hit (target 97.99%)

View this Pull Request on Codecov

0.00% of diff hit (target 97.99%)

Annotations

Check warning on line 290 in src/sets.jl

codecov / codecov/patch

src/sets.jl#L289-L290

Added lines #L289 - L290 were not covered by tests

Check warning on line 398 in src/sets.jl

codecov / codecov/patch

src/sets.jl#L397-L398

Added lines #L397 - L398 were not covered by tests

Check warning on line 434 in src/sets.jl

codecov / codecov/patch

src/sets.jl#L433-L434

Added lines #L433 - L434 were not covered by tests

View more details on Codecov