Skip to content
Snippets Groups Projects

Update to bob-devel 2019.04.30

Passed
created pipeline for commit 32a04ded
, finished
1 related merge request: !53 Update to bob-devel 2019.04.30
4 jobs 4 minutes 12 seconds, queued for 3 seconds