ARM CI server unavailable

[Kengo Seki]

Hi Jun and Yuqi,

I tried to run the 3.0.0 release build on our CI, but I've just
noticed the second ARM server seemed to be down. Would you take a
look?

Kengo Seki <sek...@apache.org>