Closed RafaelDavidMohr closed 3 months ago
@thofma Any idea what fails in nightly regarding Nemo?
This is https://github.com/JuliaLang/julia/issues/54885. Still hoping that they fix it in julia soonish.
Thanks for clarifying.
@thofma Any idea what fails in nightly regarding Nemo?