Update CMake

2 jobs for ExecutionSemantics in 1 minute and 53 seconds (queued for 3 seconds)