Where can I get the velcom benchmark script?

Stream: mathlib4

[Alissa Tung]

Hello, I am new to Lean4 and Mathlib4. AFAIK the Lean4 !bench command will make velcome to run the benchmark scripts, and output metrics in format of JSON. I am wondering where can I find the velcome benchmark scripts? I want to setup a local velcom server to run benchmark locally.

[Joscha Mennicken]

See this comment. If you run into velcom issues during setup, I might be able to help.

[Alissa Tung]

Joscha Mennicken 发言道：

See this comment. If you run into velcom issues during setup, I might be able to help.

Thank you!