I've now set some of the github checks as "required", so they get a small tag in the checks list. That should take care of (2).
(Hopefully, it doesn't break Volker's workflow - it shouldn't, because he has the rights to overwrite any branch protection rules.) On Monday, October 16, 2023 at 12:06:30 AM UTC+8 Frédéric Chapoton wrote: > now it's a step related to codecov that takes more than 1h50 minutes, see > > > https://github.com/sagemath/sage/actions/runs/6523545241/job/17714302017?pr=36463 > Le mardi 10 octobre 2023 à 16:29:01 UTC+2, Kwankyu Lee a écrit : > >> Hi, >> >> I am sorry to say this, but our github checks seem to be a mess. >> >> (1) There are two many checks. I have to scroll. >> (2) Some checks look similar. I have to think to see which one is >> significant. >> (3) They are not sorted. I don't know the order. >> (4) Some checks are cancelled or skipped. I don't know why or what to do >> with them. >> (5) Some checks are broken at the base. I have to check the check. >> >> I started to ignore them and to check the PR branches on my own system >> locally, as in the old days. >> >> Any idea to improve the situation? >> >> >> -- 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 on the web visit https://groups.google.com/d/msgid/sage-devel/fe183d63-c0f8-4f10-91e5-41788e16e6f7n%40googlegroups.com.
