You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/01/21 22:34:06 UTC

[GitHub] [tvm] driazati edited a comment on pull request #9931: Add action to label mergeable PRs

driazati edited a comment on pull request #9931:
URL: https://github.com/apache/tvm/pull/9931#issuecomment-1013559797


   Reverting back to draft since I'm not sure this is workable since when GitHub reports a status (i.e. when Jenkins is done) I don't see any way to get the original pull request when the PR comes from a forked repo, so the main use case (approval happens, then Jenkins completes hours later) doesn't work. ~~We might just need to push this out of GHA to run at the end of Jenkins once everything is complete for status events~~ this was annoying to implement so I re-worked it to run as a cron (there might be a delay in when the label gets added but it shouldn't be too bad at ~15 min)


-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org