Resolved: The pruning has completed, freeing almost 7TB of disk space. Affected builds have been restarted in Buildbot. (17:50 UTC — May 15)

The pruning process is still ongoing. It may take about 12 hours more. (05:30 UTC — May 14)

We are in the process of pruning the ostree repository from old builds. The process requires an exclusive lock of the repository, meaning that publishing is not going to be possible until it finishes. We will manually publish the outstanding builds afterwards. (19:00 UTC — May 14)