Commit 39dd9118 authored by André Anjos's avatar André Anjos 💬

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

parent 70140939
Pipeline #28808 passed with stages
in 16 minutes and 37 seconds