Update .gitlab-ci.yml

8 jobs for ExecutionSemantics in 74 minutes and 19 seconds (queued for 1 second)