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

Better flags for CI

See merge request !65
4 jobs for adanilin in 18 minutes and 9 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Style
passed #42827
integration
checkpatch

00:01:03

passed #42826
integration
repoquality

00:02:27

 
  Build
passed #42828
make:generic

00:08:47

passed #42829
knl
make:knl

00:06:54