ci on master is failing

Stream: mathlib4

[Johan Commelin]

https://github.com/leanprover-community/mathlib4/actions/runs/3771189144/jobs/6411447096

[Gabriel Ebner]

Apparently github was down temporarily, build works after restarting.

[Kevin Buzzard]

CI just failed on master with the following error:

awaiting-CI.png

[Edward van de Meent]

what workflow?

[Kevin Buzzard]

This was for ae4ed0224c0525a639077956f6520becf0114f7e (the PR passed CI)

[Kevin Buzzard]

But the most recent commit also has failed CI with a different error.

[Edward van de Meent]

i suspect i may be to blame indirectly

[Edward van de Meent]

and mathlib4#20435 more directly

[Edward van de Meent]

but i don't know why

[Kevin Buzzard]

Edward van de Meent said:

what workflow?

Is "continuous integration (staging) / Post-CI job (push) Cancelled after 9s" the answer? I don't really know the language here. Another guess for the answer is "Remove "awaiting-CI" "

[Kevin Buzzard]

The second failing commit is https://github.com/leanprover-community/mathlib4/actions/runs/12632315411/job/35196177338

error.png

[Sebastian Ullrich]

Canceling since a higher priority waiting request for 'continuous integration (staging)-refs/heads/staging.' exists

I think the bors jobs are now canceling each other

[Sebastian Ullrich]

That is, you'll probably want to include the run ID for staging as well

[Edward van de Meent]

#20515 should fix this, i think.