fix benchmarks for renaming
Failed
Hugo Trentesaux
created pipeline for commit
4184a627
, finished
Related merge request !219 to merge hugo-dev
16 minutes 42 seconds, queued for 5 seconds