Commit 0b8c4dbc authored by André Anjos's avatar André Anjos 💬

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

parent 417ac283
Pipeline #27017 skipped