From bd3e722b6b5a6e38bd4ecf44dbc789d4214350c8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Jun 2025 07:18:49 -0700
Subject: [PATCH] remove nuget signing steps

---
 scripts/release.yml | 116 --------------------------------------------
 1 file changed, 116 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 258a54fb1..e42daac1d 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -284,64 +284,6 @@ stages:
       inputs:
         command: custom
         arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.sym.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' 
-    - task: EsrpCodeSigning@2
-      condition: eq(1,0)
-      continueOnError: true
-      displayName: 'Sign Package'
-      inputs:
-        ConnectedServiceName: 'z3-esrp-signing-2'
-        FolderPath: $(Build.ArtifactStagingDirectory)
-        Pattern: Microsoft.Z3.$(ReleaseVersion).nupkg
-        signConfigType: 'inlineSignParams'
-        inlineOperation: |
-          [
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetSign",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "2.0"
-            },
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetVerify",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "2.0"
-            }
-          ]
-        SessionTimeout: '60'
-        MaxConcurrency: '50'
-        MaxRetryAttempts: '5'
-    - task: EsrpCodeSigning@2
-      displayName: 'Sign Symbol Package'
-      condition: eq(1,0)
-      continueOnError: true
-      inputs:
-        ConnectedServiceName: 'z3-esrp-signing-2'
-        FolderPath: $(Build.ArtifactStagingDirectory)
-        Pattern: Microsoft.Z3.$(ReleaseVersion).snupkg
-        signConfigType: 'inlineSignParams'
-        inlineOperation: |
-          [
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetSign",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "2.0"
-            },
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetVerify",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "2.0"
-            }
-          ]
-        SessionTimeout: '60'
-        MaxConcurrency: '50'
-        MaxRetryAttempts: '5'        
     - task: PublishPipelineArtifact@1
       inputs:
         targetPath: $(Build.ArtifactStagingDirectory)
@@ -387,64 +329,6 @@ stages:
       inputs:
         command: custom
         arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x86.sym.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' 
-    - task: EsrpCodeSigning@2
-      condition: eq(1,0)
-      continueOnError: true
-      displayName: 'Sign Package'
-      inputs:
-        ConnectedServiceName: 'z3-esrp-signing-2'
-        FolderPath: $(Build.ArtifactStagingDirectory)
-        Pattern: Microsoft.Z3.x86.$(ReleaseVersion).nupkg
-        signConfigType: 'inlineSignParams'
-        inlineOperation: |
-          [
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetSign",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "1.0"
-            },
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetVerify",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "1.0"
-            }
-          ]
-        SessionTimeout: '60'
-        MaxConcurrency: '50'
-        MaxRetryAttempts: '5'
-    - task: EsrpCodeSigning@2
-      condition: eq(1,0)
-      continueOnError: true
-      displayName: 'Sign Symbol Package'
-      inputs:
-        ConnectedServiceName: 'z3-esrp-signing-2'
-        FolderPath: $(Build.ArtifactStagingDirectory)
-        Pattern: Microsoft.Z3.x86.$(ReleaseVersion).snupkg
-        signConfigType: 'inlineSignParams'
-        inlineOperation: |
-          [
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetSign",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "1.0"
-            },
-            {
-              "KeyCode" : "CP-401405",
-              "OperationCode" : "NuGetVerify",
-              "Parameters" : {},
-              "ToolName" : "sign",
-              "ToolVersion" : "1.0"
-            }
-          ]
-        SessionTimeout: '60'
-        MaxConcurrency: '50'
-        MaxRetryAttempts: '5'        
     - task: PublishPipelineArtifact@1
       inputs:
         targetPath: $(Build.ArtifactStagingDirectory)