Commit 31aebe36 authored by André Anjos's avatar André Anjos 💬

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

parent fdd05990
Pipeline #29429 failed with stages
in 22 minutes and 25 seconds