So, I'm getting some weird stuff with the website:
Can anyone else replicate?
https://coq.inria.fr down as well for me
OPAM repository is also down :( https://coq.inria.fr/opam/released
I'm afraid our administration forgot to pay the renewal.
I will get this fixed, but it probably won't be before tomorrow (Paris time).
I relayed the pb
We'll see if something can be done about it
@Maxime Dénès : can you please ping me when things are up again? I am blocked with the Coq Platform release for 8.16.1 and want to resume as soon as possible.
Hum, such events are quite unfortunate given that we had moved off Inria's infrastructure precisely to avoid random downtimes.
Did you mean "move 'away from' or 'towards' INRIA infrastructure"?
I meant away from.
@Maxime Dénès @Enrico Tassi It seems opam supports mirrors (https://discuss.ocaml.org/t/how-to-setup-local-opam-mirror/4423/10), should we think about setting one up? I guess, like MetaCoq, many CI's rely on opam
We could. The funny part is we never had a technical problem on this infrastructure, only two instances of thé renewal not being done on time.
Fine with that, but who will be in charge of renewing its contract? ;-)
Here are even more detailed instructions: https://github.com/ocaml/opam/issues/4103
But indeed, it's not the source of the problem
@Maxime Dénès any news btw?
What I think I'll end up doing is to move the hosting with the M1 runners we recently got (Scaleway), with a multi AZ replication, it will be more transparent than a mirror.
And the billing is easier to handle
No real news yet, but they are trying to fix the pb
Is the documentation etc. mirrored somewhere else? github.com/coq/coq/wiki only lists links to coq.inria.fr, and everything I found elsewhere so far is rather ancient (including what web.archive.org captured.)
https://coq.github.io/doc/V8.16.1/refman/ has the manual
It seems to be back up
@Michael Soegtrop It should be ok now. I hope it didn't disturb too much the Coq Platform release.
Last updated: Feb 01 2023 at 15:04 UTC