It wasn't a really a secret. They ran into all sorts of issues with Travis, and people from Azure offered to run the Rust CI instead. The initial discussions were public.
Unfortunately, the build times still seem to be close to four hours, which limits the amount of changes that can be merged.
Unfortunately, the build times still seem to be close to four hours, which limits the amount of changes that can be merged.