Unplanned maintenance for Agda PS
Agda PS - Production Status [Unofficial]
May 30, 2026
THIS IS A SCHEDULED EVENT May 30, 12:00 - 17:00 CEST
May 29, 15:30 CEST Scheduled - On May 30 starting at 12:00 CEST, we will perform maintenance for Agda PS. All parts of Agda PS may be offline during the update that may last up to 5 hours. We will inform here when the update is completed.
Discussion in the ATmosphere