Merge branch 'fix_gitlab_ci'

3 jobs for v1.8.0rc5 in 14 minutes and 8 seconds (queued for 2 seconds)
latest