@kevinthesun I think we want CI to use the exact version that is set as the TVM minimum required version. The reason for this is to check that no cmake features that are more modern than cmake_minimum_required are checked into the repo which would break the build for people actually using the minimum version. This assumes that CI actually builds all TVM configurations which it currently does not.