CI status is lost in PR page

[Jeff Zhang]

I didn't see the CI status in the PR page recently, I need to check travis
manually. Does anyone experience the same thing ?



[image: image.png]