Strange CI failure

Stream: mathlib4

[Artie Khovanov]

My PR #27282 is failing CI immediately with the error

curl: (22) The requested URL returned error: 404

elan: command failed: curl -sSfL https://github.com/leanprover/elan/releases/latest/download/elan-x86_64-unknown-linux-gnu.tar.gz

Normally I merge master to fix this wort of thing, but in this case my branch is up-to-date with master!
Anyone know how to fix this?

[Artie Khovanov]

Oh yeah the PR also says "new contributor" which I'm not. Very strange.

[Weiyi Wang]

I also brought this up in another thread and it looks like github issue https://www.githubstatus.com/
I guess the best we can do is to wait