Continuous integration (Jenkins) server down?

It looks like Stan’s continous integration server is down: @seantalts, do we have any status?

If it’s down for a long time, we can continue developing on the Math library. We’ll just need to do some testing manually. We can discuss what’s necessary if it’s down for an unspecified amount of time.

Yep it’s down. Not sure what’s wrong with it. Will keep this thread up to date as we know more.

@lauren went and restarted it and then @bgoodri logged in to check and couldn’t find anything wrong with it, but apparently there are Columbia IT department network shenanigans going on. Will dig in further, but I’d expect this to take a little while.

Should be back up now.