Completed -
The scheduled maintenance has been completed.
Mar 7, 13:31 CET
Update -
We are extending our current maintenance window by half an hour to finalize a few remaining updates. Thank you for your patience!
Mar 7, 12:54 CET
Update -
We are extending our current maintenance window by one hour to finalize a few remaining updates. Thank you for your patience!
Mar 7, 11:39 CET
In progress -
Scheduled maintenance is currently in progress. We will provide updates as necessary.
Mar 7, 08:00 CET
Scheduled -
On Saturday 7/3 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.
Mar 2, 12:43 CET