From 5dbd0bb65855a46a8d8849fc8357d62513710fea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Jan 2023 23:33:35 -0800
Subject: [PATCH] add sign

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 f2eba1892..f1e08958d 100644
--- a/scripts/build-win-signed.yml
+++ b/scripts/build-win-signed.yml
@@ -38,7 +38,7 @@ jobs:
       publishSymbols: true
       symbolServerType: TeamServices
       detailedLog: true
-  - task: EsrpCodeSigning@1
+  - task: EsrpCodeSigning@2
     displayName: Sign
     inputs:
       ConnectedServiceName: 'z3-esrp-signing-2'