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