Stream: Coq devs & plugin devs

Topic: ✔ Inria GitLab down


view this post on Zulip Notification Bot (Jul 03 2023 at 17:49):

Karl Palmskog has marked this topic as resolved.

view this post on Zulip Maxime Dénès (Jul 07 2023 at 17:45):

Screenshot-from-2023-07-07-19-42-36.png
It also happens the other way around ;)

view this post on Zulip Julio Di Egidio (Nov 26 2023 at 21:09):

loading repos in pages such as https://gitlab.inria.fr/fbesson/itauto ...

BTW, strange setup there: I can open that link and then browse around from the left menu, but if I go to the home page I am redirected to the login.

view this post on Zulip Karl Palmskog (Nov 26 2023 at 21:15):

seems the repos are back now

view this post on Zulip Notification Bot (Nov 26 2023 at 21:15):

Karl Palmskog has marked this topic as resolved.

view this post on Zulip Gaëtan Gilbert (Nov 28 2023 at 09:54):

le week-end du 18-19/11 nous avions un soucis sur nos infrastructures qui ont impactés Gitlab. Ce dimanche notre service de prod a effectué des tests sur les équipements qui avaient causés ces soucis. La période de tests de ces équipements correspond à la période pendant laquelle certains process Gitlab ont été impactés.

from internal communications


Last updated: Nov 29 2023 at 20:01 UTC