Non maths CI failures

Stream: PR reviews

[Yaël Dillies]

We're getting a lot of CI failures which are unrelated to code. What to do about that? Eg #10929 doesn't show up on the #queue, albeit it is ready.

[Oliver Nash]

We have noticed this. I expect this is transient and in the meantime I've been looking at the #queue except removing the -status:failure parameter.

[Yaël Dillies]

Proactive! Love it :octopus:

[Yaël Dillies]

So I'll stop relaunching jobs until I get CI-lucky :grinning:

[Damiano Testa]

#11259 seems also affected by CI problems that have nothing to do with building mathlib. Should I re-run the jobs to get it merged?

[Arthur Paulino]

Error: API rate limit exceeded for installation ID 5948897.

I've seen this error before :thinking:

[Damiano Testa]

It is the same as in the #5698 thread (I'm on mobile and can't find a way to get the URL for the exact message).