3 Commits

Author	SHA1	Message	Date
Florian Klink	5f75e9d1a0	infra/vsts_agent_linux_startup.sh: warm up local caches, purge old agents (#438) ... Warm up local caches by building dev-env and current daml master This is allowed to fail, as we still want to have CI machines around, even when their caches are only warmed up halfway. Afterwards, we purge old agents that might still be around, that didn't unregister themselves This depends on #402 to be merged, as otherwise purge_old_agents.py can't be found obviously.	2019-04-12 16:47:36 +02:00
Jonas Chevalier	6f90fda6d1	infra: VSTS agent improvements (#369) ... * infra: replace the debian image by ubuntu 16.04 be closer to what the azure vmImage is using * infra: limit access to the PAT token	2019-04-11 17:11:14 +02:00
zimbatm	430a85649c	add more Azure Pipeline agents (#230) ... * nix: add the more providers to terraform * docs: make tarballs more reproducible * ci: use the linux-pool pool * ci: tweak the nix installation handle the case where the user is root and on ubuntu * infra: terraform fmt * infra: add Azure Pipeline agents * ci: only enable linux-pool for internal PRs	2019-04-09 18:59:37 +02:00