Mousius commented on a change in pull request #8898:
URL: https://github.com/apache/tvm/pull/8898#discussion_r700457623
##########
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:
By the power of the thesaurus I have renamed it `CI Problem`, though
keen to hear whether people think we need another category.
On the labels point, the config appears to let me set labels, so I'm curious
if it'll actually apply them when we open those issue types. When we see if
that works we can decide if we want to try more of it?
--
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]
