Update CI config

3 jobs for devel in 7 seconds (queued for 3 seconds)