can you kick off the failed builds again by pushing an empty commit? On Fri, Mar 16, 2018 at 11:01 AM Simon Corston-Oliver <[email protected]> wrote:
> We have some PRs related to publishing tutorials that appear to have > stalled. Could someone with the relevant powers please take a look. > > > Images go in dmlc/web-data. This PR has been sitting for four days: > https://github.com/dmlc/web-data/pull/43 > > Two PRs have failed CI for reasons that appear unrelated to our commits: > https://github.com/apache/incubator-mxnet/pull/10055 > https://github.com/apache/incubator-mxnet/pull/10039 >
