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

Posted to commits@mxnet.apache.org by GitBox <gi...@apache.org> on 2020/07/21 21:24:15 UTC

[GitHub] [incubator-mxnet] marcoabreu commented on issue #18753: PRs that have passed CI, but have "aged" considerably w.r.t. master, can still be merged.

marcoabreu commented on issue #18753:
URL: https://github.com/apache/incubator-mxnet/issues/18753#issuecomment-662114180


   Agree, that should be easy to solve by having a lambda function triggered nightly which invalidates status checks which are older than a certain time period.
   
   @ChaiBapchya 


----------------------------------------------------------------
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.

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