Zulip Chat Archive
Stream: lean4
Topic: Speed center down
Ruben Van de Velde (Jun 12 2024 at 14:42):
It seems like the speed center is hitting 504 Gateway Time-out errors from here - is it just me?
Sebastian Ullrich (Jun 12 2024 at 14:46):
Thanks, I restarted it
Last updated: Dec 20 2025 at 21:32 UTC