Completed -
The scheduled maintenance is completed.
Jan 30, 23:36 CET
In progress -
Scheduled maintenance is currently in progress. We will provide updates as necessary.
Jan 30, 18:02 CET
Scheduled -
On January 30th starting at 18:00 CEST, we will update Agda PS. All parts of Agda PS may be offline during the update that is expected to last up to 8 hours. We will inform here when the update is completed.
Jan 27, 14:21 CET