Is bors down?

Hi,

Is bors down?