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.

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

[Doc] Relax Deep Dive #17380

Merged
merged 2 commits into from
Sep 17, 2024
Merged

[Doc] Relax Deep Dive #17380

merged 2 commits into from
Sep 17, 2024

Conversation

Hzfengsy
Copy link
Member

Similar as TensorIR Deep Dive, we also have Relax Deep Dive.

Similar as TensorIR Deep Dive, we also have Relax Deep Dive.
@Hzfengsy
Copy link
Member Author

@Hzfengsy
Copy link
Member Author

cc @tqchen

@tqchen
Copy link
Member

tqchen commented Sep 17, 2024

@tvm-bot rerun

Copy link
Contributor

Failed to re-run CI in https://github.com/apache/tvm/actions/runs/10894681716

Traceback (most recent call last):
  File "/home/runner/work/tvm/tvm/ci/scripts/jenkins/git_utils.py", line 121, 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

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "ci/scripts/github/github_tvmbot.py", line 595, in comment_failure
    raise item
  File "ci/scripts/github/github_tvmbot.py", line 707, in run
    pr.rerun_github_actions()
  File "ci/scripts/github/github_tvmbot.py", line 584, in rerun_github_actions
    raise e
  File "ci/scripts/github/github_tvmbot.py", line 576, in rerun_github_actions
    actions_github.post(f"actions/runs/{workflow_id}/rerun-failed-jobs", data={})
  File "/home/runner/work/tvm/tvm/ci/scripts/jenkins/git_utils.py", line 143, in post
    return self._request(self.base + url, data, method="POST")
  File "/home/runner/work/tvm/tvm/ci/scripts/jenkins/git_utils.py", line 126, in _request
    raise RuntimeError(f"Error response: {msg}\n{error_data}")
RuntimeError: Error response: HTTP Error 403: Forbidden
{"message":"This workflow is already running","documentation_url":"https://docs.github.com/rest/actions/workflow-runs#re-run-failed-jobs-from-a-workflow-run","status":"403"}

@tqchen tqchen merged commit 1435ddb into apache:main Sep 17, 2024
17 of 18 checks passed
@Hzfengsy Hzfengsy deleted the relax_deep_dive branch September 22, 2024 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants