comaniac commented on a change in pull request #8898:
URL: https://github.com/apache/tvm/pull/8898#discussion_r700410478
##########
File path: .github/ISSUE_TEMPLATE/ci-update.md
##########
@@ -0,0 +1,29 @@
+---
+name: "\U0001F40B Update CI Docker Image"
+about: Provide information on CI Docker Images requiring updates
+title: "[CI] "
Review comment:
`[CI Image]` looks good to me. `[CI Issue]` looks a bit fanny tho, as we
are already creating an "issue" here lol
I'm fine if others feel CI failures are a kind of bugs. The downside is I
don't think people can add labels to an issue by themselves unless they have
the write permission (i.e., committer). It means we will need a committer to
help add labels manually for created issues; otherwise we will need a bot to
automatically add labels based on the issue content.
--
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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
