From 84b86ac8d255208d7bfba33a24319bd3d0f0d81d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 4 Jun 2021 15:13:34 -0700
Subject: [PATCH] updated ref to esrp

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/build-win-signed.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml
index 9e6ab531c..bd96889a3 100644
--- a/scripts/build-win-signed.yml
+++ b/scripts/build-win-signed.yml
@@ -25,7 +25,7 @@ jobs:
   - task: EsrpCodeSigning@1
     displayName: Sign
     inputs:
-      ConnectedServiceName: 'z3-esrp-signing'
+      ConnectedServiceName: 'z3-esrp-signing-2'
       FolderPath: 'dist/z3-${{parameters.ReleaseVersion}}-${{parameters.BuildArchitecture}}-win/bin'
       Pattern: 'Microsoft.Z3.dll,libz3.dll,libz3java.dll,z3.exe'
       signConfigType: 'inlineSignParams'