[resolved] Http://ci.tvm.ai:8080 is not accessible


#1

It looks like the CI site is not accessible from our corp network.