Merge branch 'gitlab-ci' into 'master'
Passed
Cecconi Baptiste
created pipeline for commit
717c1fde
, finished
1 related merge request: !5 Sync develop with master
1 minute 14 seconds, queued for 1 seconds