devtools

5f516870 - Fix benchmark test failures erroneously passing on CI (again) (#9469)