Do you also want to disable CI workflows that sometimes fail for intrinsic reasons? For example, the Build & Test workflow often fails to push the temporary Docker image that it builds (eg https://github.com/sagemath/sage/actions/runs/13036220999/job/36367766912).
No. Just CI workflows that almost constantly fail. The "test-mod" check (recently removed) https://github.com/sagemath/sage/pull/39284 would an example. By the way, it should have been just disabled so that could be enabled after fixed. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/ef5a98da-503a-4b8b-ac48-ae504969e210n%40googlegroups.com.
