Stream: Coq devs & plugin devs

Topic: coq.inria.fr down?


view this post on Zulip Ali Caglayan (Oct 13 2021 at 08:19):

Hopefully this is temporary
https://coq.inria.fr/
https://www.isitdownrightnow.com/coq.inria.fr.html

view this post on Zulip Gaëtan Gilbert (Oct 13 2021 at 08:25):

are we on ovh? https://twitter.com/olesovhcom/status/1448196879020433409

Suite à une erreur humaine durant la reconfiguration du network sur notre DC à VH (US-EST), nous avons un souci sur la toute la backbone. Nous allons isoler le DC VH puis fixer la conf. https://twitter.com/ovh_status/status/1448185498812485633

- Octave Klaba (@olesovhcom)

view this post on Zulip Ali Caglayan (Oct 13 2021 at 08:28):

Ah it's back

view this post on Zulip Théo Zimmermann (Oct 13 2021 at 08:33):

Yes, we are on OVH.


Last updated: Feb 01 2023 at 16:03 UTC