Zulip Chat Archive
Stream: general
Topic: leansearch is down
Asei Inoue (Dec 13 2024 at 20:03):
502 Bad Gateway
Asei Inoue (Dec 14 2024 at 10:17):
@Siddhartha Gadgil
Johan Commelin (Dec 14 2024 at 10:31):
cc @Jiang Jiedong
Jiang Jiedong (Dec 14 2024 at 10:53):
We are currently experiencing an issue with the LeanSearch server, causing occasional 502 Bad Gateway errors. Unfortunately, there are no error log messages available at this time. The system typically recovers automatically within 20 minutes without intervention. We are actively working to understand and resolve this problem. We apologize for any inconvenience caused.
Jiang Jiedong (Dec 14 2024 at 15:56):
It seems that the service is not recovering today … Sorry that we have to wait for Monday to contact the server provider to fix the problem.
Jiang Jiedong (Dec 16 2024 at 08:21):
LeanSearch is now working again!
Rémy Degenne (Mar 22 2025 at 09:45):
502 error (bad gateway) on leansearch right now.
Last updated: May 02 2025 at 03:31 UTC