Karl Palmskog (Jun 30 2023 at 21:58): Karl Palmskog (Jun 30 2023 at 21:58):Looks like Inria GitLab repos are down (e.g., https://gitlab.inria.fr/fbesson/itauto), is this planned? Hoping for a temporary thing, because we have tons of packages depending on it...
Hugo Herbelin (Jul 01 2023 at 09:21):I did not receive an announcement but this was apparently planned. The following can be found on the intranet of Inria: "Interruption du service https://gitlab.inria.fr du vendredi 30 juin 15h au lundi 03 juillet 11h". So, shortly, we have to wait for Monday 11am.
Karl Palmskog (Jul 01 2023 at 10:19):this unfortunately means that one can't install MathComp 2.0 from scratch for the next few days, due to (transitive) dependency on Menhir, which is hosted on Inria GitLab...
Théo Zimmermann (Jul 01 2023 at 13:32):cc @François Pottier: this might be time to consider moving away from Inria GitLab (for other reasons besides these unreasonable downtimes, Inria GitLab is highly discouraged for use for any open source project).
Hugo Herbelin (Jul 01 2023 at 14:58):I guess that this means that it is not useful to run a CI before gitlab is up again?
Pierre Roux (Jul 01 2023 at 15:09):I'd say that CI can be run but the few jobs requiring Inria gitlab will fail and have to be rerun later (MC2 is still not in Coq CI).
Michael Soegtrop (Jul 03 2023 at 07:49):It is btw. the second time in a few weeks that INRIA Gitlab is down for a more than a few hours.
Hugo Herbelin (Jul 03 2023 at 08:05):The current interruption is for "reorganizing data". It is to prepare a move from the "Community Edition" version to the "Ultimate" version of gitlab (thus another interruption will happen at some time).
I'm afraid that Inria admins do not think at gitlab.inria.fr as a service used outside Inria (and they do not realize it is used so).
Hugo Herbelin (Jul 03 2023 at 08:15):They just announced that the next interruption should be only a few hours. It will presumably be in September. They promise to study if they can keep the pages up during the interruption (which I understand as read-only?).
Hugo Herbelin (Jul 03 2023 at 08:16):They just announced that gitlab.inria.fr is up again.
Notification Bot (Nov 26 2023 at 16:58):Karl Palmskog has marked this topic as unresolved.
Karl Palmskog (Nov 26 2023 at 16:59):Inria GitLab is down: https://gitlab.inria.fr
The perennial question(s): is this planned, and (when) will it be back?
Gaëtan Gilbert (Nov 26 2023 at 17:38):works for me
Karl Palmskog (Nov 26 2023 at 17:54):tested from multiple IPs, had one request come through after a minute... something is seemingly going on
Karl Palmskog (Nov 26 2023 at 18:17):loading repos in pages such as https://gitlab.inria.fr/fbesson/itauto appears to take a minute or more, so as far as packages are concerned, I think that's equivalent to being down (tested from a couple of places)
Hugo Herbelin (Nov 26 2023 at 18:20):I tried twice and got a timeout twice. I'm not following all Inria GitLab announcements, but I don't remember anything planned.
Last updated: Oct 13 2024 at 01:02 UTC