Minor update to CMake documentation in CI scripts.