[build] remove extra arguments
Passed
created pipeline for commit 491551c6
, finished
1 related merge request: !242 Add bob-devel here which is generated dynamically
21 minutes 17 seconds, queued for 3 seconds