Planned maintenance for Agda PS infrastructure on Saturday 6/6

THIS IS A SCHEDULED EVENT Jun 6, 08:00 - 12:00 CEST

May 18, 09:24 CEST Scheduled - On Saturday 6/6 we will have maintenance on the Agda PS environment as you have been informed about in the yearly maintenance plan. This means that Agda PS SaaS environment will be down starting at 8:00 AM. The service is estimated to be up and running again at 12:00. We will inform on the status page when everything is up and running again.