vinx13 commented on PR #12367: URL: https://github.com/apache/tvm/pull/12367#issuecomment-1234792095
hey @driazati thanks for adding this linter. I found it not throwing meaningful CI failure message when PR body is missing. Here are the CI error message: ``` [2022-09-01T20:59:13.733Z] Traceback (most recent call last): [2022-09-01T20:59:13.733Z] File "ci/scripts/check_pr.py", line 136, in <module> [2022-09-01T20:59:13.733Z] body = body.strip() [2022-09-01T20:59:13.733Z] AttributeError: 'NoneType' object has no attribute 'strip' ``` Shall we improve it? -- 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
