Skip to content

Conversation

@masahi
Copy link
Member

@masahi masahi commented Apr 20, 2022

@github-actions github-actions bot requested review from areusch and driazati April 20, 2022 23:24
@BBuf
Copy link
Contributor

BBuf commented Apr 21, 2022

@masahi this pr can be merged!

@masahi
Copy link
Member Author

masahi commented Apr 21, 2022

@masahi this pr can be merged!

We need somebody else's approval cc @leandron @Mousius

Copy link
Contributor

@leandron leandron left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@leandron leandron merged commit a6ef5af into main Apr 21, 2022
@leandron
Copy link
Contributor

Merged now, thanks @masahi!

shtinsa pushed a commit to Deelvin/tvm that referenced this pull request May 17, 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.

3 participants