Stream: Coq devs & plugin devs

Topic: Power cut apparently impacting CI on 2 Sep 2023


view this post on Zulip Hugo Herbelin (Sep 02 2023 at 09:34):

For information, there is a power cut today at Inria Paris due to works in the building. Maybe this is the reason for the current 503 error about not reaching "https://sesi-cloud-ctl1.inria.fr/client/api" on CI tests. Power should come back at some time in the afternoon.

view this post on Zulip Maxime Dénès (Sep 02 2023 at 10:00):

Unfortunately, I'm not sure that's the reason, but let's see.

view this post on Zulip Hugo Herbelin (Sep 02 2023 at 10:18):

That was just a guess and you certainly know better than me.

view this post on Zulip Maxime Dénès (Sep 02 2023 at 10:34):

It's been just resolved.

view this post on Zulip Maxime Dénès (Sep 02 2023 at 10:34):

Unfortunately, I'm not sure the root cause has been properly identified, so it may happen again.


Last updated: Nov 29 2023 at 22:01 UTC