Skip to content

Conversation

@mehrdadh
Copy link
Member

@mehrdadh mehrdadh commented Jan 9, 2023

This PR fixes error introduced by #13704

cc @Mousius @driazati

@tvm-bot
Copy link
Collaborator

tvm-bot commented Jan 9, 2023

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

Generated by tvm-bot

@github-actions github-actions bot requested review from Mousius and driazati January 9, 2023 22:40
@Mousius
Copy link
Member

Mousius commented Jan 10, 2023

Argh, sorry about this! 🙀

@mehrdadh mehrdadh deleted the ci_fix branch January 10, 2023 17:34
fzi-peccia pushed a commit to fzi-peccia/tvm that referenced this pull request Mar 27, 2023
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.

4 participants