diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/azure-pipelines/azure-pipelines.yml | 4 | ||||
| -rw-r--r-- | scripts/azure-pipelines/windows/azure-pipelines.yml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/scripts/azure-pipelines/azure-pipelines.yml b/scripts/azure-pipelines/azure-pipelines.yml index c6c8a49f0..c5aefb60a 100644 --- a/scripts/azure-pipelines/azure-pipelines.yml +++ b/scripts/azure-pipelines/azure-pipelines.yml @@ -7,11 +7,11 @@ variables: stages:
- stage: Clean_Tombstones
displayName: 'Clean Tombstones'
- pool:
- name: PrWin-2020-04-21-1
jobs:
- job:
displayName: 'Clean Tombstones'
+ pool:
+ name: PrWin-2020-04-22
condition: eq(variables['clean-tombstones'], 'true')
timeoutInMinutes: 10
steps:
diff --git a/scripts/azure-pipelines/windows/azure-pipelines.yml b/scripts/azure-pipelines/windows/azure-pipelines.yml index 1913f0c9b..9a7f01e7b 100644 --- a/scripts/azure-pipelines/windows/azure-pipelines.yml +++ b/scripts/azure-pipelines/windows/azure-pipelines.yml @@ -5,7 +5,7 @@ jobs:
- job: ${{ parameters.jobName }}
pool:
- name: PrWin-2020-04-21-1
+ name: PrWin-2020-04-22
variables:
triplet: '${{ parameters.triplet }}'
|