Simplify gitlab CI

5 jobs for dev in 4 minutes and 12 seconds (queued for 1 second)