Skip to content

Conversation

@lgoettgens
Copy link
Member

Same as Nemocas/Nemo.jl#2088.
This should fix the OscarCI tests.

@hannes14 hannes14 self-requested a review May 22, 2025 07:31
@hannes14 hannes14 merged commit 482c5b8 into oscar-system:master May 22, 2025
14 checks passed
@lgoettgens lgoettgens deleted the lg/workaround_GLIBCXX branch May 22, 2025 07:39
hannes14 pushed a commit to hannes14/Singular.jl that referenced this pull request May 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants