Update .gitlab-ci.yml

1 job for ExecutionSemantics in 42 seconds (queued for 1 second)