[ci] Update gitlab-ci file (depend on bob/bob.devtools) [ci skip]