Cancel !bench?

Stream: mathlib4

[Thomas Murrills]

Sometimes, I !bench a commit, and then a minute or two later realize I've forgotten something, thus rendering the currently running bench useless. I feel bad for wasting the compute—is there syntax for canceling the bench?

[Joscha Mennicken]

No, there is currently no way to cancel a benchmark.