Zulip Chat Archive

Stream: general

Topic: Is Moogle down?


Markus de Medeiros (Nov 04 2024 at 15:26):

Seems that every query I make to moogle this morning says "Failed to fetch search results". I've tried on a few different browsers, is this happening for anyone else?

Mario Carneiro (Nov 04 2024 at 15:29):

cc: @Jesse Michael Han

Yan Yablonovskiy (Nov 04 2024 at 15:29):

Markus de Medeiros said:

Seems that every query I make to moogle this morning says "Failed to fetch search results". I've tried on a few different browsers, is this happening for anyone else?

Seems to be happening for me too, at the very least.

Edward van de Meent (Nov 04 2024 at 15:30):

this was also noticed in the discord yesterday (i.e. about 20 hrs ago)

Kevin Buzzard (Nov 04 2024 at 17:27):

Try leansearch.net instead?

Jesse Michael Han (Nov 04 2024 at 22:56):

hey y'all, sorry about the outage - just fixed and it should be working now

Markus de Medeiros (Nov 05 2024 at 03:05):

Thanks for the quick fix!


Last updated: May 02 2025 at 03:31 UTC