loogle and web editor are down

Stream: lean4

[Kenny Lau]

https://live.lean-lang.org/
https://loogle.lean-lang.org/

[Kevin Buzzard]

I'm also in London but I'm experiencing the same thing (https://downforeveryoneorjustme.com/ reports that they're down)

[Sebastian Ullrich]

We identified the issue, they should be back up soon

[Kenny Lau]

thanks!

[Henrik Böving]

And we're back!