Erik Martin-Dorel (Dec 08 2020 at 20:48): 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.
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...
Cyril Cohen (Dec 08 2020 at 21:06):https://downforeveryoneorjustme.com/coq-workshop.gitlab.io?proto=https
Paolo Giarrusso (Dec 08 2020 at 21:06):Works here too
Paolo Giarrusso (Dec 08 2020 at 21:07):404 is especially weird... maybe got fixed?
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?
Erik Martin-Dorel (Dec 08 2020 at 21:10):That's weird indeed; @Paolo Giarrusso OK :) Toulouse, France
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
Erik Martin-Dorel (Dec 08 2020 at 21:14):nevermind, maybe that's a transient issue and it'll be OK tomorrow anyway…
Cyril Cohen (Dec 08 2020 at 21:15):
Cyril Cohen (Dec 08 2020 at 21:16):Anyway, a server which is down would not 404, I am clueless
Paolo Giarrusso (Dec 08 2020 at 21:17):It’s replicated and maybe the replicas are not consistent. Or they’re buggy.
Paolo Giarrusso (Dec 08 2020 at 21:17):Distributed systems are hard, you know...
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