Stream: Coq devs & plugin devs

Topic: Inria GitLab down


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

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

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

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

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

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

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

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

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

view this post on Zulip Hugo Herbelin (Jul 03 2023 at 08:16):

They just announced that gitlab.inria.fr is up again.

view this post on Zulip Notification Bot (Nov 26 2023 at 16:58):

Karl Palmskog has marked this topic as unresolved.

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

view this post on Zulip Gaëtan Gilbert (Nov 26 2023 at 17:38):

works for me

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

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

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