Commit a4959b3d authored by André Anjos's avatar André Anjos

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

parent 6c9ecd6d
Pipeline #27089 skipped