Skip to content
Snippets Groups Projects

Merge branch 'feature/devgui' into 'master'

Failed
Nicolas Pope created pipeline for commit 4f6b664e
, finished
For master
3 jobs 1 minute 53 seconds, queued for 4 seconds