Skip to content

Conversation

@lgoettgens
Copy link
Member

This reverts commit c58cb20.

The underlying issue for this workaround was fixed in JuliaLang/Downloads.jl#257, which is available in julia 1.10.6 (via JuliaLang/julia@c3ea488a6b0), 1.11.0-rc4 (via JuliaLang/julia#55615), and newer versions (via JuliaLang/julia#55614).

@lgoettgens lgoettgens requested a review from benlorenz July 29, 2025 15:15
@benlorenz benlorenz merged commit 1fa53c3 into oscar-system:master Aug 21, 2025
19 checks passed
@lgoettgens lgoettgens deleted the lg/revert-Downloads-grace branch August 21, 2025 09:45
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