Commit 5d3f69fc authored by André Anjos's avatar André Anjos 💬

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

parent 49744015
Pipeline #28953 failed with stages
in 14 minutes and 20 seconds