You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by dr...@apache.org on 2022/06/23 00:16:26 UTC

[tvm] branch main updated: [CI] Amend docs bot comment (#11836)

This is an automated email from the ASF dual-hosted git repository.

driazati pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git


The following commit(s) were added to refs/heads/main by this push:
     new 03ed04e6a9 [CI] Amend docs bot comment (#11836)
03ed04e6a9 is described below

commit 03ed04e6a9ec15365c9a59441f503ab7769c4182
Author: Florin Blanaru <fl...@gmail.com>
AuthorDate: Thu Jun 23 01:16:21 2022 +0100

    [CI] Amend docs bot comment (#11836)
    
    This PR fixes the docs bot comment message.
---
 tests/python/ci/test_ci.py           | 2 +-
 tests/scripts/github_docs_comment.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/python/ci/test_ci.py b/tests/python/ci/test_ci.py
index b712b6780c..e21bdcf8b4 100644
--- a/tests/python/ci/test_ci.py
+++ b/tests/python/ci/test_ci.py
@@ -47,7 +47,7 @@ class TempGit:
             "https://pr-docs.tlcpack.ai",
             "SHA",
             "issues/11594/comments",
-            "Built docs for commit [SHA](SHA) can be found [here](https://pr-docs.tlcpack.ai/PR-11594/3/docs/index.html).",
+            "Built docs for commit SHA can be found [here](https://pr-docs.tlcpack.ai/PR-11594/3/docs/index.html).",
         )
     ],
 )
diff --git a/tests/scripts/github_docs_comment.py b/tests/scripts/github_docs_comment.py
index c92023482d..5da32746df 100755
--- a/tests/scripts/github_docs_comment.py
+++ b/tests/scripts/github_docs_comment.py
@@ -65,7 +65,7 @@ if __name__ == "__main__":
     )
 
     url = f'issues/{pr_and_build["pr_number"]}/comments'
-    body = f"Built docs for commit [{commit_sha}]({commit_sha}) can be found [here]({docs_url})."
+    body = f"Built docs for commit {commit_sha} can be found [here]({docs_url})."
     if not args.dry_run:
         github = GitHubRepo(token=os.environ["GITHUB_TOKEN"], user=user, repo=repo)