Zulip Chat Archive
Stream: mathlib4
Topic: !bench doesn't start
Yury G. Kudryashov (Sep 08 2024 at 22:46):
The bot didn't react to my !bench comment https://github.com/leanprover-community/mathlib4/pull/16611#issuecomment-2336839887
Did I do something wrong or the bot is down?
Kim Morrison (Sep 09 2024 at 01:07):
It looks like the bot is down, @Sebastian Ullrich.
Sebastian Ullrich (Sep 09 2024 at 08:11):
Please see #mathlib4 > mathlib4 speedcenter
Last updated: May 02 2025 at 03:31 UTC