remove unused benchmark
Failed
Benjamin Gallois
created pipeline for commit
c1dcab1e
, finished
Related merge request !246 to merge 167-fix-remove-member-weight
58 minutes 53 seconds, queued for 2 seconds