[GitHub] [tvm] gigiblender commented on pull request #13367: [Lint] Fix import in test_tvmscript_type.py

2022-11-16 Thread GitBox
gigiblender commented on PR #13367: URL: https://github.com/apache/tvm/pull/13367#issuecomment-1316682185 > hey what shall we do with this PR? probably we could close if the issue is not longer reproducible? Agree to close it. -- This is an automated message from the Apache Git Se

[GitHub] [tvm] gigiblender commented on pull request #13367: [Lint] Fix import in test_tvmscript_type.py

2022-11-14 Thread GitBox
gigiblender commented on PR #13367: URL: https://github.com/apache/tvm/pull/13367#issuecomment-1314200276 > Would you mind sharing the error message from the linter? Thanks! It was a python module not found error. I ran the linter locally using the docker image and, strangely am no lo