small fixes in gitlab ci

3 jobs for changes_from_proactive_dev_to_merge in 3 minutes and 45 seconds (queued for 4 seconds)