-
Notifications
You must be signed in to change notification settings - Fork 64
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
The big renaming #977
The big renaming #977
Conversation
e08265f
to
46e6959
Compare
Codecov ReportBase: 74.11% // Head: 74.13% // Increases project coverage by
Additional details and impacted files@@ Coverage Diff @@
## master #977 +/- ##
==========================================
+ Coverage 74.11% 74.13% +0.02%
==========================================
Files 347 347
Lines 110707 110707
==========================================
+ Hits 82048 82072 +24
+ Misses 28659 28635 -24
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here. ☔ View full report at Codecov. |
Companion to Nemocas/AbstractAlgebra.jl#1267, Nemocas/Nemo.jl#1376, oscar-system/Oscar.jl#1972