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/05/26 22:42:57 UTC
[GitHub] [tvm] driazati opened a new pull request, #11480: [ci] Add @tvm-bot rerun
driazati opened a new pull request, #11480:
URL: https://github.com/apache/tvm/pull/11480
This adds a command to restart CI runs that have stopped (either from a
failure, success, or abort) via GitHub comments addressed to tvm-bot:
```
@tvm-bot rerun
```
tvm-bot will then comment on the thread and send a request to Jenkins to
restart CI. This does not restart GitHub Actions jobs though we may be
able to add that in the future.
Thanks for contributing to TVM! Please refer to guideline https://tvm.apache.org/docs/contribute/ for useful information and tips. After the pull request is submitted, please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @ them in the pull request thread.
--
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
[GitHub] [tvm] github-actions[bot] commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1144196556
Failed to process merge request in https://github.com/apache/tvm/actions/runs/2424769486
<details>
```
Traceback (most recent call last):
File "tests/scripts/github_mergebot.py", line 550, in <module>
pr.merge_if_passed_checks()
File "tests/scripts/github_mergebot.py", line 495, in merge_if_passed_checks
self.merge()
File "tests/scripts/github_mergebot.py", line 371, in merge
self.github.put(url, data=data)
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 71, in put
return self._request(self.base + url, data, method="PUT")
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 66, in _request
with request.urlopen(req, data) as response:
File "/usr/lib/python3.8/urllib/request.py", line 222, in urlopen
return opener.open(url, data, timeout)
File "/usr/lib/python3.8/urllib/request.py", line 531, in open
response = meth(req, response)
File "/usr/lib/python3.8/urllib/request.py", line 640, in http_response
response = self.parent.error(
File "/usr/lib/python3.8/urllib/request.py", line 569, in error
return self._call_chain(*args)
File "/usr/lib/python3.8/urllib/request.py", line 502, in _call_chain
result = func(*args)
File "/usr/lib/python3.8/urllib/request.py", line 649, in http_error_default
raise HTTPError(req.full_url, code, msg, hdrs, fp)
urllib.error.HTTPError: HTTP Error 403: Forbidden
```
</details>
--
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
[GitHub] [tvm] driazati commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1144197748
@tvm-bot merge
--
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
[GitHub] [tvm] github-actions[bot] commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1144199688
Failed to process merge request in https://github.com/apache/tvm/actions/runs/2424785144
<details>
```
Traceback (most recent call last):
File "tests/scripts/github_mergebot.py", line 550, in <module>
pr.merge_if_passed_checks()
File "tests/scripts/github_mergebot.py", line 495, in merge_if_passed_checks
self.merge()
File "tests/scripts/github_mergebot.py", line 371, in merge
self.github.put(url, data=data)
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 71, in put
return self._request(self.base + url, data, method="PUT")
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 66, in _request
with request.urlopen(req, data) as response:
File "/usr/lib/python3.8/urllib/request.py", line 222, in urlopen
return opener.open(url, data, timeout)
File "/usr/lib/python3.8/urllib/request.py", line 531, in open
response = meth(req, response)
File "/usr/lib/python3.8/urllib/request.py", line 640, in http_response
response = self.parent.error(
File "/usr/lib/python3.8/urllib/request.py", line 569, in error
return self._call_chain(*args)
File "/usr/lib/python3.8/urllib/request.py", line 502, in _call_chain
result = func(*args)
File "/usr/lib/python3.8/urllib/request.py", line 649, in http_error_default
raise HTTPError(req.full_url, code, msg, hdrs, fp)
urllib.error.HTTPError: HTTP Error 403: Forbidden
```
</details>
--
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
[GitHub] [tvm] github-actions[bot] commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1144198028
Failed to process merge request in https://github.com/apache/tvm/actions/runs/2424775781
<details>
```
Traceback (most recent call last):
File "tests/scripts/github_mergebot.py", line 550, in <module>
pr.merge_if_passed_checks()
File "tests/scripts/github_mergebot.py", line 495, in merge_if_passed_checks
self.merge()
File "tests/scripts/github_mergebot.py", line 371, in merge
self.github.put(url, data=data)
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 71, in put
return self._request(self.base + url, data, method="PUT")
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 66, in _request
with request.urlopen(req, data) as response:
File "/usr/lib/python3.8/urllib/request.py", line 222, in urlopen
return opener.open(url, data, timeout)
File "/usr/lib/python3.8/urllib/request.py", line 531, in open
response = meth(req, response)
File "/usr/lib/python3.8/urllib/request.py", line 640, in http_response
response = self.parent.error(
File "/usr/lib/python3.8/urllib/request.py", line 569, in error
return self._call_chain(*args)
File "/usr/lib/python3.8/urllib/request.py", line 502, in _call_chain
result = func(*args)
File "/usr/lib/python3.8/urllib/request.py", line 649, in http_error_default
raise HTTPError(req.full_url, code, msg, hdrs, fp)
urllib.error.HTTPError: HTTP Error 403: Forbidden
```
</details>
--
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
[GitHub] [tvm] areusch commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
areusch commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1144199473
@tvm-bot merge
--
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
[GitHub] [tvm] areusch commented on a diff in pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
areusch commented on code in PR #11480:
URL: https://github.com/apache/tvm/pull/11480#discussion_r887257802
##########
tests/scripts/github_tvmbot.py:
##########
@@ -539,21 +589,35 @@ def merge_if_passed_checks(self) -> None:
else:
pr = PR(number=int(args.pr), owner=owner, repo=repo, dry_run=args.dry_run)
+ # Acknowledge the comment with a react
+ pr.plus_one(comment)
+
+ # Check the comment author
+ comment_author = comment["user"]["login"]
+ if pr.author() == comment_author:
+ logging.info("Comment user is PR author, continuing")
+ else:
+ logging.info("Comment is not from PR author, checking collaborators")
+ # Get the list of collaborators for the repo filtered by the comment
+ # author
+ if args.testing_collaborators_json:
+ collaborators = json.loads(args.testing_collaborators_json)
+ else:
+ collaborators = pr.search_collaborator(comment_author)
+ logging.info(f"Found collaborators: {collaborators}")
+
+ if len(collaborators) > 0:
+ logging.info("Comment is from collaborator")
+ else:
+ logging.info("Comment is not from from PR author or collaborator, quitting")
+ exit(0)
+
state = pr.state()
if state != "OPEN":
logging.info(f"Ignoring event on PR, state was not OPEN, instead was state={state}")
exit(0)
- if pr.merge_requested():
- try:
- pr.merge_if_passed_checks()
- except Exception as e:
- if not args.dry_run:
- msg = traceback.format_exc()
- pr.comment(
- f"Failed to process merge request in {args.run_url}\n\n<details>\n\n```\n{msg}\n```\n\n</details>"
- )
- raise e
- else:
- logging.info("No merge requested, exiting")
+ # Run the command
+ command_to_run.run(pr)
+ # exit(1)
Review Comment:
uncomment?
--
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
[GitHub] [tvm] driazati commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1144196267
@tvm-bot merge
--
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
[GitHub] [tvm] github-actions[bot] commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1145270750
Failed to process merge request in https://github.com/apache/tvm/actions/runs/2430496686
<details>
```
Traceback (most recent call last):
File "tests/scripts/github_mergebot.py", line 550, in <module>
pr.merge_if_passed_checks()
File "tests/scripts/github_mergebot.py", line 495, in merge_if_passed_checks
self.merge()
File "tests/scripts/github_mergebot.py", line 371, in merge
self.github.put(url, data=data)
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 71, in put
return self._request(self.base + url, data, method="PUT")
File "/home/runner/work/tvm/tvm/tests/scripts/git_utils.py", line 66, in _request
with request.urlopen(req, data) as response:
File "/usr/lib/python3.8/urllib/request.py", line 222, in urlopen
return opener.open(url, data, timeout)
File "/usr/lib/python3.8/urllib/request.py", line 531, in open
response = meth(req, response)
File "/usr/lib/python3.8/urllib/request.py", line 640, in http_response
response = self.parent.error(
File "/usr/lib/python3.8/urllib/request.py", line 569, in error
return self._call_chain(*args)
File "/usr/lib/python3.8/urllib/request.py", line 502, in _call_chain
result = func(*args)
File "/usr/lib/python3.8/urllib/request.py", line 649, in http_error_default
raise HTTPError(req.full_url, code, msg, hdrs, fp)
urllib.error.HTTPError: HTTP Error 403: Forbidden
```
</details>
--
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
[GitHub] [tvm] driazati commented on pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11480:
URL: https://github.com/apache/tvm/pull/11480#issuecomment-1145270478
@tvm-bot merge
--
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
[GitHub] [tvm] areusch merged pull request #11480: [ci] Add @tvm-bot rerun
Posted by GitBox <gi...@apache.org>.
areusch merged PR #11480:
URL: https://github.com/apache/tvm/pull/11480
--
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