Stream: Coq devs & plugin devs

Topic: coq.inria.fr down?

Ali Caglayan (Oct 13 2021 at 08:19):

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

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)

Ali Caglayan (Oct 13 2021 at 08:28):

Ah it's back

Théo Zimmermann (Oct 13 2021 at 08:33):

Yes, we are on OVH.

Last updated: Sep 09 2024 at 05:02 UTC