devtools

Fix benchmark test failures erroneously passing on CI (again)

#9469

Merged