Planned maintenance for Agda PS infrastructure on Saturday 28/3
Agda PS - Production Status [Unofficial]
March 28, 2026
THIS IS A SCHEDULED EVENT Mar 28, 08:00 - 14:00 CET
Mar 16, 13:48 CET Scheduled - On Saturday, March 28th, we will continue performing infrastructure maintenance to enhance security and performance. As a result, the Agda PS SaaS environment will be unavailable starting at 8:00 AM. We estimate the service will be back online by 14:00.
We will inform on the status page when everything is up and running again.
Discussion in the ATmosphere