-
Notifications
You must be signed in to change notification settings - Fork 126
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
[FTheoryTools] Fixed some bugs that were missed before #4182
Conversation
Some small bug fixes that were missed in some recents pull requests relating to model indexes and other stuff.
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## master #4182 +/- ##
==========================================
+ Coverage 84.58% 84.65% +0.06%
==========================================
Files 631 631
Lines 84829 85271 +442
==========================================
+ Hits 71756 72184 +428
- Misses 13073 13087 +14
|
Looks good to me. Unless you are still working on this @emikelsons , it can be merged. Regarding the failed book-tests (cf. https://github.com/oscar-system/Oscar.jl/actions/runs/11269198738/job/31337353429), which prevent the merge at this point: I could not see exactly why they failed. The error message "The operation was cancelled" was not very enlightening to me. So I just restarted those tests. One possibly very naive idea: The book tests failed after about 2.5 hours. Could it maybe be a time-out error? |
The error that was raised previously was not a time-out error, but that one doesn't seem to appear any longer |
It seems the error has disappeared. As such, I will merge this now. |
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.
Thank you for working on this @emikelsons
Some small bug fixes that were missed in some recents pull requests relating to model indexes and zero section classes of FTheory models: