small fixes in gitlab ci

3 jobs for changes_from_proactive_dev_to_merge in 4 minutes and 1 second (queued for 2 seconds)