Stream: Coq devs & plugin devs

Topic: opam hitting download limits?

Karl Palmskog (Sep 19 2022 at 14:13):

OK, this is a bit worrying in the Coq opam archive CI:

 curl -L https://github.com/ocaml/opam/releases/download/${OPAM_VERSION}/opam-${OPAM_VERSION}-x86_64-linux >/usr/local/bin/opam
...
/usr/local/bin/opam: line 1: syntax error near unexpected token `<'
/usr/local/bin/opam: line 1: `<?xml version="1.0" encoding="utf-8"?><Error><Code>ServerBusy</Code><Message>Egress is over the account limit.'

Seems like so many people are downloading opam from GitHub that the underlying Azure storage says no.

Karl Palmskog (Sep 19 2022 at 14:15):

it was some jobs here, I tried restarting them, we'll see what happens I guess: https://github.com/coq/opam-coq-archive/pull/2313

Paolo Giarrusso (Sep 19 2022 at 16:20):

it also seems like a bug in invoking curl: presumably curl failed, yet that's trying to run the error response?

Karl Palmskog (Sep 19 2022 at 16:28):

I think what happens is that curl downloads the error response from GitHub http server, which is apparently an XML message saying the Azure storage ran out

Michael Soegtrop (Sep 19 2022 at 17:59):

Whose account is this ?

Paolo Giarrusso (Sep 19 2022 at 17:59):

Agree the response has some body (the XML) — but I hope the HTTP status code isn't success (200). Then curl --fail would return a non-zero exitcode (https://superuser.com/a/657174/46794) — I thought that'd be the default but no

Michael Soegtrop (Sep 19 2022 at 18:00):

It might be a temporary error rather than a real restriction - of course I would like it to be otherwise, but I guess there is much more popular stuff on Azure than opam.

Paolo Giarrusso (Sep 19 2022 at 18:03):

hoping ServerBusy supports that

Last updated: Apr 16 2024 at 05:01 UTC