Commit 2025-06-09 23:58 30b4d6e8

View on Github →

chore: use non-deprecated function in bench_summary (#25495) Discovered while investigating why the bot has been failing recently: this will likely not fix the bot, but should be updated anyway!

Estimated changes