-
Notifications
You must be signed in to change notification settings - Fork 59
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.
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
Consolidate some using statements and make them explicit #1691
Conversation
So unfortunately breaking. Edit: OK, if we backport the OSCAR fix, it is non-breaking. |
Yeah, I would argue this is technically non-breaking, but OSCAR is relying on some internals here. The fix makes it use other internals, but I think this is fine for now, of this type there are many other occurrences. |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #1691 +/- ##
==========================================
- Coverage 84.54% 84.52% -0.02%
==========================================
Files 94 94
Lines 37092 37092
==========================================
- Hits 31359 31352 -7
- Misses 5733 5740 +7 ☔ View full report in Codecov by Sentry. |
oscar-system/Oscar.jl#3431 has now been backported. Any objections @thofma ? |
using Arb_jll: libarb | ||
using Antic_jll: libantic | ||
using Calcium_jll: libcalcium | ||
using FLINT_jll: libflint |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
These explicit imports break the check for the new flint version below.
Found using the great new tool https://github.com/ericphanson/ExplicitImports.jl