Skip to content
Snippets Groups Projects

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

Skipped
created pipeline for commit 709dd06b
For master