Skip to content
Snippets Groups Projects

Merge branch 'ubuntu_18_04' into 'master'

Failed
Sergi Hernandez created pipeline for commit a4d5d12f
, finished
For ubuntu_18_4
2 jobs 44 seconds, queued for 2 seconds