leandron commented on a change in pull request #8801: URL: https://github.com/apache/tvm/pull/8801#discussion_r692768944
########## File path: python/gen_requirements.py ########## @@ -231,7 +231,7 @@ ("sphinx_autodoc_annotation", None), ("sphinx_gallery", None), ("sphinx_rtd_theme", None), - ("synr", ">=0.2.1"), # Requires bugfix commit ee0b12a61c08f01604475f36ff37d4cb110bdc27 + ("synr", "==0.3.0"), Review comment: @tkonolige I didn't feel very comfortable to do anything different from what is done in `task_ci_setup.sh`. https://github.com/apache/tvm/blob/e691c7f83892d7242d0992c78cec1e2f8953a9e3/tests/scripts/task_ci_setup.sh#L33 As I'm just reading this comment now, and the PR is already merged, feel free to send a follow-up PR. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org