Stream: Coq devs & plugin devs

Topic: Parts of website down?


view this post on Zulip Karl Palmskog (Nov 28 2022 at 16:21):

So, I'm getting some weird stuff with the website:

Can anyone else replicate?

view this post on Zulip Olivier Laurent (Nov 28 2022 at 16:22):

https://coq.inria.fr down as well for me

view this post on Zulip Vadim Zaliva (Nov 28 2022 at 19:52):

OPAM repository is also down :( https://coq.inria.fr/opam/released

view this post on Zulip Maxime Dénès (Nov 28 2022 at 20:17):

I'm afraid our administration forgot to pay the renewal.

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

view this post on Zulip Maxime Dénès (Nov 29 2022 at 08:32):

I relayed the pb

view this post on Zulip Maxime Dénès (Nov 29 2022 at 08:33):

We'll see if something can be done about it

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

view this post on Zulip Maxime Dénès (Nov 29 2022 at 08:46):

Sure!

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

view this post on Zulip Michael Soegtrop (Nov 29 2022 at 12:46):

Did you mean "move 'away from' or 'towards' INRIA infrastructure"?

view this post on Zulip Théo Zimmermann (Nov 29 2022 at 12:55):

I meant away from.

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

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

view this post on Zulip Enrico Tassi (Nov 29 2022 at 14:29):

Fine with that, but who will be in charge of renewing its contract? ;-)

view this post on Zulip Matthieu Sozeau (Nov 29 2022 at 14:29):

Haha :)

view this post on Zulip Matthieu Sozeau (Nov 29 2022 at 14:29):

Point taken

view this post on Zulip Matthieu Sozeau (Nov 29 2022 at 14:30):

Here are even more detailed instructions: https://github.com/ocaml/opam/issues/4103

view this post on Zulip Matthieu Sozeau (Nov 29 2022 at 14:30):

But indeed, it's not the source of the problem

view this post on Zulip Matthieu Sozeau (Nov 29 2022 at 14:30):

@Maxime Dénès any news btw?

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

view this post on Zulip Maxime Dénès (Nov 29 2022 at 14:31):

And the billing is easier to handle

view this post on Zulip Maxime Dénès (Nov 29 2022 at 14:32):

No real news yet, but they are trying to fix the pb

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

view this post on Zulip Paolo Giarrusso (Nov 29 2022 at 16:40):

https://coq.github.io/doc/V8.16.1/refman/ has the manual

view this post on Zulip Ricardo Almeida (Nov 29 2022 at 17:17):

It seems to be back up

view this post on Zulip 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: Feb 01 2023 at 15:04 UTC