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: May 02 2025 at 03:31 UTC