Stream: Coq workshop 2020

Topic: gitlab.io website offline?


view this post on Zulip Erik Martin-Dorel (Dec 08 2020 at 20:48):

@Emilio Jesús Gallego Arias it seems the Coq Workshop website is currently offline… can you reproduce the issue?

https://coq-workshop.gitlab.io/2020/ → 404: The page you're looking for could not be found.

view this post on Zulip Cyril Cohen (Dec 08 2020 at 21:06):

Erik Martin-Dorel said:

Emilio Jesús Gallego Arias it seems the Coq Workshop website is currently offline… can you reproduce the issue?

https://coq-workshop.gitlab.io/2020/ → 404: The page you're looking for could not be found.

I have no trouble accessing it...

view this post on Zulip Cyril Cohen (Dec 08 2020 at 21:06):

https://downforeveryoneorjustme.com/coq-workshop.gitlab.io?proto=https

view this post on Zulip Paolo Giarrusso (Dec 08 2020 at 21:06):

Works here too

view this post on Zulip Paolo Giarrusso (Dec 08 2020 at 21:07):

404 is especially weird... maybe got fixed?

view this post on Zulip Paolo Giarrusso (Dec 08 2020 at 21:08):

I have a VPN if you want to check in some other countries , where are you Erik?

view this post on Zulip Erik Martin-Dorel (Dec 08 2020 at 21:10):

That's weird indeed; @Paolo Giarrusso OK :) Toulouse, France

view this post on Zulip Erik Martin-Dorel (Dec 08 2020 at 21:12):

@Cyril Cohen https://downforeveryoneorjustme.com/coq-workshop.gitlab.io?proto=https

2020-12-08_22-11-51_Screenshot_coq-workshop.png

view this post on Zulip Erik Martin-Dorel (Dec 08 2020 at 21:14):

nevermind, maybe that's a transient issue and it'll be OK tomorrow anyway…

view this post on Zulip Cyril Cohen (Dec 08 2020 at 21:15):

Sans-titre.png

view this post on Zulip Cyril Cohen (Dec 08 2020 at 21:16):

Anyway, a server which is down would not 404, I am clueless

view this post on Zulip Paolo Giarrusso (Dec 08 2020 at 21:17):

It’s replicated and maybe the replicas are not consistent. Or they’re buggy.

view this post on Zulip Paolo Giarrusso (Dec 08 2020 at 21:17):

Distributed systems are hard, you know...

view this post on Zulip Paolo Giarrusso (Dec 08 2020 at 21:18):

Beyond the CAP theorem, I use gitlab CI and it seems about as robust as Travis... not sure.


Last updated: Feb 06 2023 at 05:03 UTC