Stream: Coq devs & plugin devs

Topic: opam hitting download limits?


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Michael Soegtrop (Sep 19 2022 at 17:59):

Whose account is this ?

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Paolo Giarrusso (Sep 19 2022 at 18:03):

hoping ServerBusy supports that


Last updated: Feb 06 2023 at 19:03 UTC