Skip to content
Snippets Groups Projects

Merge branch 'ubuntu_18_04' into 'master'

Failed
Sergi Hernandez created pipeline for commit d1451441
, finished
For ubuntu_18_04
2 jobs 28 seconds, queued for 1 seconds