Zulip Chat Archive

Stream: new members

Topic: is leansearch.net down?


Becker A. (Mar 27 2025 at 19:29):

I keep getting a 502: bad gateway when I navigate to https://leansearch.net/. is this just me?

Jason Reed (Mar 27 2025 at 19:32):

Becker A. said:

I keep getting a 502: bad gateway when I navigate to https://leansearch.net/. is this just me?

I also see the 502

Kevin Buzzard (Mar 27 2025 at 19:35):

Imperial project deadline tomorrow!

Becker A. (Mar 29 2025 at 17:18):

it's back!

Notification Bot (Mar 29 2025 at 17:18):

Becker A. has marked this topic as resolved.

Notification Bot (Mar 29 2025 at 23:47):

Becker A. has marked this topic as unresolved.

Becker A. (Mar 29 2025 at 23:47):

down again? T-T

Kevin Buzzard (Mar 29 2025 at 23:51):

Seems to be working for me

Bolton Bailey (Mar 30 2025 at 15:22):

I am experiencing this error Screenshot 2025-03-30 at 8.22.35 AM.png


Last updated: May 02 2025 at 03:31 UTC