As of this morning, Keil Studio Cloud build times are extremely slow - sometimes 10 minutes for a baremetal Mbed project that would typically take 15 seconds. I'm trying to run a programming class and this makes it harder! I don't see any planned maintenance or known issue announcements. Any idea when this will be resolved?