areusch commented on a change in pull request #10537:
URL: https://github.com/apache/tvm/pull/10537#discussion_r823202330
##########
File path: tests/scripts/git_skip_ci.py
##########
@@ -49,13 +49,7 @@ def check_pr_title():
print("pr title:", title)
return title.startswith("[skip ci]")
- if (
- args.pr != "null"
- and args.pr.strip() != ""
- and branch != "main"
- and log.startswith("[skip ci]")
- and check_pr_title()
- ):
+ if args.pr != "null" and args.pr.strip() != "" and branch != "main" and
check_pr_title():
print("Commit and PR start with '[skip ci]', skipping...")
Review comment:
want to adjust this?
--
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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
