https://github.com/rocq-prover/rocq/pull/21273#issuecomment-3490903500 It tries to get artifacts from https://gitlab.inria.fr/coq/coq/-/jobs/6428999 instead of its retry https://gitlab.inria.fr/coq/coq/-/jobs/6430841