Commit 8d99c512 authored by Swann Perarnau's avatar Swann Perarnau

Merge branch 'better-flags-for-ci' into 'master'

Better flags for CI

See merge request !65
parents b1b6b9a1 deb5a06d
Pipeline #7969 passed with stages
in 18 minutes and 9 seconds