From 96417d4d476a9dd48e399fe7ca670998d6469149 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 29 Aug 2024 10:43:31 -0700
Subject: [PATCH] Update nightly.yaml

disable signing options
---
 scripts/nightly.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 8198d3437..74ceb2a54 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -410,6 +410,7 @@ stages:
         patchVersion: $(Patch)
         arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x86.sym.nuspec -Version $(NightlyVersion) -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:
@@ -438,6 +439,7 @@ stages:
         MaxConcurrency: '50'
         MaxRetryAttempts: '5'
     - task: EsrpCodeSigning@2
+      condition: eq(1,0)
       continueOnError: true 
       displayName: 'Sign Symbol Package'
       inputs: