Update windows-build.yml: use non-Int pool provider (dotnet/core-setup#6408)

Commit migrated from https://github.com/dotnet/core-setup/commit/f3a3a80e360a2f7802e925ff59c63f9b6afcd6ca

diff --git a/eng/jobs/windows-build.yml b/eng/jobs/windows-build.yml
index 578a836..9ea1c04 100644 (file)
--- a/eng/jobs/windows-build.yml
+++ b/eng/jobs/windows-build.yml
@@ -13,12 +13,12 @@ jobs:
       # Use a hosted pool when possible.
       ${{ if eq(variables['System.TeamProject'], 'public') }}:
         ${{ if contains(parameters.targetArchitecture, 'arm') }}:
-          name: NetCorePublic-Int-Pool
+          name: NetCorePublic-Pool
           queue: buildpool.windows.10.amd64.vs2017.open
         ${{ if not(contains(parameters.targetArchitecture, 'arm')) }}:
           name: Hosted VS2017
       ${{ if ne(variables['System.TeamProject'], 'public') }}:
-        name: NetCoreInternal-Int-Pool
+        name: NetCoreInternal-Pool
         queue: buildpool.windows.10.amd64.vs2017
     strategy:
       matrix: 
@@ -221,4 +221,4 @@ jobs:
         PathtoPublish: '$(Build.StagingDirectory)\BuildLogs'
         ArtifactName: ${{ parameters.displayName }}-$(_BuildConfig)
       continueOnError: true
-      condition: succeededOrFailed()
\ No newline at end of file
+      condition: succeededOrFailed()