Skip to content

[ci] Add @tvm-bot rerun#11480

Merged
areusch merged 1 commit into
apache:mainfrom
driazati:tvmbot_rerun
Jun 2, 2022
Merged

[ci] Add @tvm-bot rerun#11480
areusch merged 1 commit into
apache:mainfrom
driazati:tvmbot_rerun

Conversation

@driazati

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

Copy link
Copy Markdown
Member

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 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
Comment thread tests/scripts/github_tvmbot.py Outdated
@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

driazati commented Jun 1, 2022

Copy link
Copy Markdown
Member Author

@tvm-bot merge

@github-actions

github-actions Bot commented Jun 1, 2022

Copy link
Copy Markdown
Contributor

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

@driazati

driazati commented Jun 1, 2022

Copy link
Copy Markdown
Member Author

@tvm-bot merge

@github-actions

github-actions Bot commented Jun 1, 2022

Copy link
Copy Markdown
Contributor

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

@areusch

areusch commented Jun 1, 2022

Copy link
Copy Markdown
Contributor

@tvm-bot merge

@github-actions

github-actions Bot commented Jun 1, 2022

Copy link
Copy Markdown
Contributor

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

@driazati

driazati commented Jun 2, 2022

Copy link
Copy Markdown
Member Author

@tvm-bot merge

@github-actions

github-actions Bot commented Jun 2, 2022

Copy link
Copy Markdown
Contributor

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

@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