Google Git
Sign in
apache/tvm/HEAD/./ci/scripts/github
tree: 878051983d01c4261e8dc562809c780df05d3678 [path history] [tgz]
  1. __init__.py
  2. github_cc_reviewers.py
  3. github_commenter.py
  4. github_docs_comment.py
  5. github_pr_comment.py
  6. github_skipped_tests_comment.py
  7. github_tag_teams.py
  8. github_tvmbot.py
  9. ping_reviewers.py
  10. update_branch.py