Binary cache & Windows


Some more Linux builders

Adding new images is somewhat complicated. I need to add them at several places:

Then one needs to re-reploy the frontend (!).

We need some central configuration store, like etcd, or something similar, to avoid this lengthy and error-prone procedure.

Windows builders

Jenkins has an Azure plugin. Unfortunately it uses the ‘classic’ system, which is soft-deprecated on Azure, and the branch to update it to the new Azure Resource Manager seems to be dead.

After a couple of hours I could get it work. Key points:

As for provisioning, I’ll write a short powershell script that downloads the real provisioning script from GitHub, similarly to how r-appveyor works.