[GitHub] [tvm] areusch opened a new issue, #12859: [CI Problem] run-comment-bot fails when it can't get the PR number

[GitBox <gi...@apache.org>]

areusch opened a new issue, #12859:
URL: https://github.com/apache/tvm/issues/12859

   See https://github.com/apache/tvm/actions/runs/3097181204/jobs/5013784930. 
   
   ```
   Traceback (most recent call last):
     File "ci/scripts/github_pr_comment.py", line 132, in <module>
       skipped_tests = get_skipped_tests_comment(pr_data, github=github)
     File "/home/runner/work/tvm/tvm/ci/scripts/github_skipped_tests_comment.py", line 164, in get_skipped_tests_comment
       common_main_build = get_main_jenkins_build_number(github, common_commit_sha)
     File "/home/runner/work/tvm/tvm/ci/scripts/github_skipped_tests_comment.py", line 57, in get_main_jenkins_build_number
       assert build_number.isdigit()
   AssertionError
   ```
   
   @driazati @masahi 


-- 
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.apache.org

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