TeamCity has been migrated. Build times may be slower for a time, as the agents have freshly-cleaned caches. Builds will be monitored to ensure the agents are working as expected.

The TeamCity instance is being migrated to a more robust activation scheme.