[cmake] Synchronize

4 jobs for devel in 6 minutes and 33 seconds (queued for 2 seconds)