Coq: CI for SF broken

[SkySkimmer]

Looks like the api call returns [] since about 15h ago (https://gitlab.com/coq/coq/-/jobs/545458364 is the oldest failing job)
Maybe because we fetch some old job which I guess got cleaned up.
cc @maximedenes @ejgallego

[Zimmi48]

It's the biannual SF failing when the next release is approaching joke :laughing:

[ejgallego]

We need to write to Benjamin so somebody sends us a link to a valid artifact, not a big job I think.

[Zimmi48]

We need to write to Benjamin so somebody sends us a link to a valid artifact, not a big job I think.

Maybe a simple GitHub ping will be enough... @bcpierce00

[ejgallego]

Maybe a simple GitHub ping will be enough

I think mail is better in this case as a link has to be sent, maybe not by Benjamin itself but by whoever is in charge of SF CI [and there could be some issue with tokens etc]

[bcpierce00]

Yishuai and I will take a look.

[liyishuai]

We've created a public repo for the latest source files: https://github.com/DeepSpec/sf
You can also donwload the tarballs via:

• https://deepspec.github.io/sf/lf-current/lf.tgz
• https://deepspec.github.io/sf/plf-current/plf.tgz
• https://deepspec.github.io/sf/vfa-current/vfa.tgz
• https://deepspec.github.io/sf/qc-current/qc.tgz