-
-
Notifications
You must be signed in to change notification settings - Fork 519
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
Upgrade eclib to 20221012 #35067
Upgrade eclib to 20221012 #35067
Conversation
I'm not sure if checking |
A discussion on this topic took place in the last upgrade ticket, #34029 (comment) ff. |
Thanks, that seems pretty conclusive that we should just not be flexible with system eclib versions for now. This then raises the question of whether we should pin the correct version in the |
Codecov ReportBase: 88.59% // Head: 88.59% // Increases project coverage by
Additional details and impacted files@@ Coverage Diff @@
## develop #35067 +/- ##
========================================
Coverage 88.59% 88.59%
========================================
Files 2136 2136
Lines 396142 396142
========================================
+ Hits 350948 350959 +11
+ Misses 45194 45183 -11
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. |
This is a good question. However, |
For the record, I my hand was forced to use that version of eclib in sage-on-gentoo for both sage 9.7 and now sage 9.8. I have yet to hear or see failure reports. |
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.
I am approving this.
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.
lgtm
📚 Description
📝 Checklist
⌛ Dependencies