-
-
Notifications
You must be signed in to change notification settings - Fork 491
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
Allow some imports of RLF to fail #32777
Comments
Dependencies: #32742 |
Author: Matthias Koeppe |
Last 10 new commits:
|
Commit: |
comment:5
This failure is not from this ticket:
This failure is likely from random seed fuzzing, not this ticket:
reported in #32544. |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:9
One green bot; one bot that's not feeling well |
comment:10
Replying to @mkoeppe:
I stopped all my patchbots. |
Reviewer: Travis Scrimshaw |
comment:12
Thank you! |
comment:13
Merge conflict |
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
comment:17
trivial merge |
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
|
comment:19
Trivial merge with 9.5.beta6 |
comment:20
It was already merged, but then the branch changed and now its a merge conflict |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits: |
comment:23
Sorry. Back to the previous commit. |
comment:25
still merge conflict |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Changed branch from u/mkoeppe/allow_some_imports_of_rlf_to_fail to |
The
RealLazyField
implementation is tied closely toreal_mpfr
.We modify some imports for the purpose of modularization, in particular sagemath-polyhedra (#32432)
In particular for
... is RLF
tests:Depends on #32742
Depends on #32750
Depends on #32733
CC: @kliem @tscrim @sagetrac-tmonteil
Component: refactoring
Author: Matthias Koeppe
Branch/Commit:
b49bbdf
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/32777
The text was updated successfully, but these errors were encountered: