[microTVM] Refactor platform used as board name in microTVM#8940
Merged
areusch merged 14 commits intoapache:mainfrom Sep 9, 2021
Merged
[microTVM] Refactor platform used as board name in microTVM#8940areusch merged 14 commits intoapache:mainfrom
platform used as board name in microTVM#8940areusch merged 14 commits intoapache:mainfrom
Commits
Commits on Sep 6, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed