Completed -
The scheduled maintenance has been completed.
Mar 26, 23:41 CET
In progress -
Scheduled maintenance is currently in progress. We will provide updates as necessary.
Mar 26, 18:00 CET
Scheduled -
On Mars 26 starting at 18:00 CET, we will update Agda PS. All parts of Agda PS may be offline during the update that may last up to 8 hours. We will inform here when the update is completed.
Mar 25, 13:06 CET