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

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

parent f8b7ce5a
Pipeline #27109 skipped