Skip to content

[microTVM] Remove micro_dev#11169

Merged
areusch merged 1 commit intoapache:mainfrom
mehrdadh:microtvm/remove_micro_dev
Apr 29, 2022
Merged

[microTVM] Remove micro_dev#11169
areusch merged 1 commit intoapache:mainfrom
mehrdadh:microtvm/remove_micro_dev

Conversation

@mehrdadh
Copy link
Copy Markdown
Member

@mehrdadh mehrdadh commented Apr 28, 2022

This PR cleans up micro_dev in some test files and one schedule name.
cc @areusch @gromero

@github-actions github-actions bot requested a review from areusch April 28, 2022 20:36
@areusch areusch merged commit 6b45f8d into apache:main Apr 29, 2022
@mehrdadh mehrdadh deleted the microtvm/remove_micro_dev branch April 29, 2022 16:23
shtinsa pushed a commit to Deelvin/tvm that referenced this pull request May 17, 2022
SebastianBoblest pushed a commit to SebastianBoblest/tvm that referenced this pull request May 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants