Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

stuff #19

Merged
merged 1 commit into from
Jun 3, 2022
Merged

stuff #19

merged 1 commit into from
Jun 3, 2022

Conversation

driazati
Copy link
Owner

Thanks for contributing to TVM! Please refer to guideline https://tvm.apache.org/docs/contribute/ for useful information and tips. After the pull request is submitted, please request code reviews from Reviewers by @ them in the pull request thread.

@driazati driazati force-pushed the main branch 9 times, most recently from 00588f9 to b3fca2f Compare May 31, 2022 23:24
@driazati
Copy link
Owner Author

@tvm-bot hello

@driazati
Copy link
Owner Author

@tvm-bot rerun

@driazati
Copy link
Owner Author

@tvm-bot rerun

1 similar comment
@tvm-bot
Copy link
Collaborator

tvm-bot commented May 31, 2022

@tvm-bot rerun

@tvm-bot
Copy link
Collaborator

tvm-bot commented May 31, 2022

@tvm-bot rerun

@tvm-bot
Copy link
Collaborator

tvm-bot commented May 31, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 2, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 2, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 2, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 2, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 2, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 3, 2022

@tvm-bot rerun

1 similar comment
@driazati
Copy link
Owner Author

driazati commented Jun 3, 2022

@tvm-bot rerun

@driazati
Copy link
Owner Author

driazati commented Jun 3, 2022

@tvm-bot merge

@github-actions
Copy link

github-actions bot commented Jun 3, 2022

Cannot merge, these CI jobs are not successful on 239c58d:

@driazati
Copy link
Owner Author

driazati commented Jun 3, 2022

@tvm-bot merge

@github-actions
Copy link

github-actions bot commented Jun 3, 2022

Cannot merge, missing expected jobs:

  • tvm-ci/pr-head

@driazati
Copy link
Owner Author

driazati commented Jun 3, 2022

@tvm-bot merge

@github-actions
Copy link

github-actions bot commented Jun 3, 2022

Cannot merge, did not find any approving reviews from users with write access on d93eb3d

@driazati
Copy link
Owner Author

driazati commented Jun 3, 2022

@tvm-bot merge

@github-actions github-actions bot merged commit 9ab2b31 into main Jun 3, 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