You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/09/01 21:17:11 UTC

[GitHub] [tvm] vinx13 commented on pull request #12367: [ci] Add linter for PR title and body

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-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org