Karl Palmskog (Nov 28 2022 at 16:21): Karl Palmskog (Nov 28 2022 at 16:21):So, I'm getting some weird stuff with the website:
Can anyone else replicate?
Olivier Laurent (Nov 28 2022 at 16:22):https://coq.inria.fr down as well for me
Vadim Zaliva (Nov 28 2022 at 19:52):OPAM repository is also down :( https://coq.inria.fr/opam/released
Maxime Dénès (Nov 28 2022 at 20:17):I'm afraid our administration forgot to pay the renewal.
Maxime Dénès (Nov 28 2022 at 20:20):I will get this fixed, but it probably won't be before tomorrow (Paris time).
Maxime Dénès (Nov 29 2022 at 08:32):I relayed the pb
Maxime Dénès (Nov 29 2022 at 08:33):We'll see if something can be done about it
Michael Soegtrop (Nov 29 2022 at 08:45):@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.
Maxime Dénès (Nov 29 2022 at 08:46):Sure!
Théo Zimmermann (Nov 29 2022 at 12:14):Hum, such events are quite unfortunate given that we had moved off Inria's infrastructure precisely to avoid random downtimes.
Michael Soegtrop (Nov 29 2022 at 12:46):Did you mean "move 'away from' or 'towards' INRIA infrastructure"?
Théo Zimmermann (Nov 29 2022 at 12:55):I meant away from.
Matthieu Sozeau (Nov 29 2022 at 14:27):@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
Maxime Dénès (Nov 29 2022 at 14:29):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.
Enrico Tassi (Nov 29 2022 at 14:29):Fine with that, but who will be in charge of renewing its contract? ;-)
Matthieu Sozeau (Nov 29 2022 at 14:29):Haha :)
Matthieu Sozeau (Nov 29 2022 at 14:29):Point taken
Matthieu Sozeau (Nov 29 2022 at 14:30):Here are even more detailed instructions: https://github.com/ocaml/opam/issues/4103
Matthieu Sozeau (Nov 29 2022 at 14:30):But indeed, it's not the source of the problem
Matthieu Sozeau (Nov 29 2022 at 14:30):@Maxime Dénès any news btw?
Maxime Dénès (Nov 29 2022 at 14:31):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.
Maxime Dénès (Nov 29 2022 at 14:31):And the billing is easier to handle
Maxime Dénès (Nov 29 2022 at 14:32):No real news yet, but they are trying to fix the pb
nobody (Nov 29 2022 at 16:26):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.)
Paolo Giarrusso (Nov 29 2022 at 16:40):https://coq.github.io/doc/V8.16.1/refman/ has the manual
Ricardo Almeida (Nov 29 2022 at 17:17):It seems to be back up
Maxime Dénès (Nov 29 2022 at 20:05):@Michael Soegtrop It should be ok now. I hope it didn't disturb too much the Coq Platform release.
Last updated: Sep 15 2024 at 13:02 UTC