A fix has been implemented and we are monitoring the results.
Posted Jul 31, 2019 - 11:35 CEST
Identified
We have observed and are investigating degraded performance of the Developer Portal. We will restart the affected component of the developer portal. Deployment operations will be temporarily unavailable.