Open pleroy opened 1 month ago
See https://github.com/mockingbirdnest/Principia/pull/4006, which did not fix the issue, see https://github.com/mockingbirdnest/Principia/actions/runs/9235652213/job/25410661936.
Not fixed after all, see https://github.com/mockingbirdnest/Principia/actions/runs/9339430945/job/25703778233.
See https://github.com/mockingbirdnest/Principia/pull/4006, which did not fix the issue, see https://github.com/mockingbirdnest/Principia/actions/runs/9235652213/job/25410661936.