Commit 87224d70 authored by André Anjos's avatar André Anjos 💬
Browse files

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

parent 4aef4e2d
Pipeline #27033 skipped