-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Segfault in push_root
#7939
Comments
Sigh. |
Just saw a failure like this locally ... |
Another one on release-0.3 https://travis-ci.org/JuliaLang/julia/jobs/33203861 |
Another one on 0.4. See https://travis-ci.org/JuliaLang/julia/jobs/34795035 The first few lines of the trace are:
|
Merged
Another possible fix: 819d9c8 |
Have fixed several memory bugs in the last couple days. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We have a segfault with a sense of humor, given its timing:
https://travis-ci.org/JuliaLang/julia/jobs/32126820#L2682
The text was updated successfully, but these errors were encountered: