git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ed9fc3)
Azure Pipeline: switch to the latest agent pools
authorJohannes Schindelin <redacted>
Thu, 27 Feb 2020 13:23:13 +0000 (13:23 +0000)
committerJunio C Hamano <redacted>
Thu, 27 Feb 2020 17:58:43 +0000 (09:58 -0800)
commit7f487ce062cb09f5e58ca0594396ef66a16934e2
treef1e27d478aa20f5f88cbf784347de31483d2624btree | snapshot
parent5ed9fc3fc8629d9c13b6bae03a32e28cf8be3e96commit | diff
Azure Pipeline: switch to the latest agent pools

It would seem that at least the `vs2015-win2012r2` pool (which we use
via its old name, `Hosted`) is about to be phased out. Let's switch
before that.

While at it, use the newer pool names as suggested at
https://docs.microsoft.com/en-us/azure/devops/pipelines/agents/hosted?view=azure-devops#use-a-microsoft-hosted-agent

Signed-off-by: Johannes Schindelin <redacted>
Signed-off-by: Junio C Hamano <redacted>
azure-pipelines.yml diff | blob | history
git clone https://git.99rst.org/PROJECT