Completed -
The scheduled maintenance is completed.
May 6, 00:26 CEST
In progress -
Scheduled maintenance is currently in progress. We will provide updates as necessary.
May 5, 18:00 CEST
Scheduled -
On May 5 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.
Apr 25, 15:19 CEST