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

[yongsun]

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