Skip to content

[microTVM][RVM] Add platform to build directory name - #8945

Merged
areusch merged 1 commit into
apache:mainfrom
mehrdadh:change_build_directory
Sep 7, 2021
Merged

[microTVM][RVM] Add platform to build directory name#8945
areusch merged 1 commit into
apache:mainfrom
mehrdadh:change_build_directory

Commits

Commits on Sep 7, 2021