Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[ci] Add @tvm-bot rerun #11480

Merged
merged 1 commit into from
Jun 2, 2022
Merged

[ci] Add @tvm-bot rerun #11480

merged 1 commit into from
Jun 2, 2022

Conversation

driazati
Copy link
Member

@driazati driazati commented May 26, 2022 •
edited by github-actions bot
Loading

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. Some of this PR also restructures how the GitHub Actions workflow receives events, before it had to look through a list of comments and decide if it should act, this changes it to only operate on the one comment from the triggering webhook itself so it's more straightforward.

cc @Mousius @areusch

@driazati driazati force-pushed the tvmbot_rerun branch 7 times, most recently from 75bd75f to 0e88bcd Compare June 1, 2022 14:56
@driazati driazati marked this pull request as ready for review June 1, 2022 15:34
@github-actions github-actions bot requested review from Mousius and areusch June 1, 2022 19:37
areusch
areusch approved these changes Jun 1, 2022
View reviewed changes
tests/scripts/github_tvmbot.py Outdated Show resolved Hide resolved
@driazati
[ci] Add @tvm-bot rerun
7690269 
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.
@driazati
Copy link
Member Author

driazati commented Jun 1, 2022

@tvm-bot merge

@github-actions
Copy link
Contributor

github-actions bot commented Jun 1, 2022

Failed to process merge request in https://github.com/apache/tvm/actions/runs/2424769486

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

@driazati
Copy link
Member Author

driazati commented Jun 1, 2022

@tvm-bot merge

@github-actions
Copy link
Contributor

github-actions bot commented Jun 1, 2022

Failed to process merge request in https://github.com/apache/tvm/actions/runs/2424775781

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

@areusch
Copy link
Contributor

areusch commented Jun 1, 2022

@tvm-bot merge

@github-actions
Copy link
Contributor

github-actions bot commented Jun 1, 2022

Failed to process merge request in https://github.com/apache/tvm/actions/runs/2424785144

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

@driazati
Copy link
Member Author

driazati commented Jun 2, 2022

@tvm-bot merge

@github-actions
Copy link
Contributor

github-actions bot commented Jun 2, 2022

Failed to process merge request in https://github.com/apache/tvm/actions/runs/2430496686

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

@areusch areusch merged commit 03eefe0 into apache:main Jun 2, 2022
@driazati driazati mentioned this pull request Jul 14, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@areusch areusch areusch approved these changes

@Mousius Mousius Awaiting requested review from Mousius

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@driazati @areusch