We need to to a security maintenance of the FTP Server on Monday 2026-10-26 at 9 am.
We estimate the maintenance to take up to two hours and the FTP-Server will be unreachable during the maintenance. Agda PS itself will not be affected.
We will update the statuspage when we are done
Posted Oct 16, 2026 - 09:07 CEST
This scheduled maintenance affects: Agda PS - SFTP Server.