I don't think tests need to be disabled, but rather the CI should not report a PR as failing if the same failure occurs on develop. So still run the failing tests, but don't report the workflow as failing if the same test fails on develop. I think we already have something like this for the fixed seed tests, but not for the random seeds.
That would work for tests where only the output differs sometimes. But the most problems we have at the moment are from random segfaults, and for those it's probably easier to not run them at all instead of trying to filter them out afterwards. -- 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/639ff547-1036-4645-a52d-ba75e3408208n%40googlegroups.com.
