Short interruptions can be experienced in Agda Web tonight 12/2 between 21:00 and 21:15

Scheduled Maintenance Report for Agda PS - Production

Completed

The scheduled maintenance has been completed.

Posted Feb 12, 2024 - 21:15 CET

In progress

Scheduled maintenance is currently in progress. We will provide updates as necessary.

Posted Feb 12, 2024 - 21:01 CET

Scheduled

We are having a short maintainance tonight. Webusers might experience short interruptions during this time.

Posted Feb 12, 2024 - 10:34 CET

This scheduled maintenance affected: Agda PS - Web.