[microTVM]Add default value to unspecified project options in project API#13610

mehrdadh merged 6 commits intoapache:mainapache/tvm:mainfrom

mehrdadh:micro/add_default_project_optionsmehrdadh/tvm:micro/add_default_project_optionsCopy head branch name to clipboard