On Jun 13, 2016 from 5:50am till 6:20am UTC+2 we encountered issues with DNS that may have led to failure of some running jobs at the time. We are sorry for any inconvenience.
On Jun 13, 2016 from 5:50am till 6:20am UTC+2 we encountered issues with DNS that may have led to failure of some running jobs at the time. We are sorry for any inconvenience.