Zulip Chat Archive
Stream: mathlib4
Topic: cancel !bench
Jireh Loreaux (Mar 21 2025 at 21:06):
Is there are a way to cancel a !bench call? I just did it on #23202 and then realized that it was pointless.
Last updated: May 02 2025 at 03:31 UTC
Is there are a way to cancel a !bench call? I just did it on #23202 and then realized that it was pointless.
Last updated: May 02 2025 at 03:31 UTC