Skip to content

[microTVM] Fix ci-qemu Arduino install dir#8766

Merged
areusch merged 1 commit intoapache:mainfrom
guberti:fix-arduino-install-dirs
Aug 17, 2021
Merged

[microTVM] Fix ci-qemu Arduino install dir#8766
areusch merged 1 commit intoapache:mainfrom
guberti:fix-arduino-install-dirs

Commits

Commits on Aug 17, 2021