fix after rebase
Passed
Hugo Trentesaux
created pipeline for commit
758afe9c
, finished
Related merge request !155 to merge benchmark_authority
54 minutes 7 seconds, queued for 5 seconds