driazati opened a new issue, #11837: URL: https://github.com/apache/tvm/issues/11837
Posting a new comment generates a notification which I don't think we want beyond the first one from `github-actions` since it doesn't carry much signal. The [docs-bot](https://github.com/apache/tvm/actions/workflows/docs_bot.yml) workflow should search the PR for existing comments from the `github-actions` bot (possibly marked with a markdown comment or something like `<!--- docs-bot-comment -->`) and update that comment instead of posting a new one. For example, on #11666, the bot would update [comment 1](https://github.com/apache/tvm/pull/11666#issuecomment-1158008805) instead of posting [comment 2](https://github.com/apache/tvm/pull/11666#issuecomment-1163627875) cc @gigiblender -- 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]
