Commit c9022ab8 authored by Edwin Carlinet's avatar Edwin Carlinet

Hot fix for building dev on gitlab.

Deactivate benchmark option on this branch. They were not build anyway.
parent 51d18cf3
Pipeline #12532 failed with stages
in 23 seconds