Merging debug flags and doc build (949397c0) was a bad idea since the resulting job takes too long (doesn't fit in 50 minutes for master branch) I split them again, resulting in 6 jobs.
