Double dash in some options were missing
Passed
Nicolas MAILLET
created pipeline for commit
cb4dcd56
, finished
For master
1 minute 12 seconds, queued for 24 seconds