Zulip Chat Archive

Stream: general

Topic: leansearch is down


Asei Inoue (Dec 13 2024 at 20:03):

502 Bad Gateway

see https://leansearch.net/

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