Merge branch 'install-bob-deps' of gitlab.idiap.ch:bob/bob.devtools into install-bob-deps
Passed
created pipeline for commit
206124a8
, finished
1 related merge request: !298 Add script to install CI versions of all external Bob dependencies
39 minutes 34 seconds, queued for 0 seconds