Zulip Chat Archive
Stream: general
Topic: lean search is down
Asei Inoue (Sep 15 2024 at 14:58):
"# 503 Service Temporarily Unavailable" displayed
Asei Inoue (Sep 15 2024 at 15:00):
Asei Inoue (Sep 15 2024 at 15:00):
@Jiang Jiedong
Jiang Jiedong (Sep 16 2024 at 11:20):
LeanSearch is working again now.
Last updated: May 02 2025 at 03:31 UTC