-
Notifications
You must be signed in to change notification settings - Fork 33
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
update to Singular_jll v403.214.1400 #748
Conversation
@hannes14 just for the record, you can test these changes (in particular to see if they have syntax errors) locally... just |
Oscar.jl tests fail, but I hope it's a fluke... CC @ThomasBreuer we see this in the logs:
I'll restart that CI job |
@fingolfin I looked into this error, but I could not see any connection to this PR. Let's see what happens for the restarted checks. |
Concerning the error messages, I have no idea yet what happens: |
No description provided.