Job Failures

Today, July 3, 2016, between 21:47 and 22:25 UTC+2, we encountered issues that may have led to fail some running jobs. We resolved the issues and everything should be running normally now. We are sorry for any inconvenience.