skip signing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 20, 2024 · b5c3a6a · b5c3a6a
1 parent 4ca59c5
commit b5c3a6a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -318,6 +318,7 @@ stages:
         patchVersion: $(Patch)
         arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.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:
@@ -346,7 +347,8 @@ stages:
         MaxConcurrency: '50'
         MaxRetryAttempts: '5'
     - task: EsrpCodeSigning@2
-      continueOnError: true 
+      continueOnError: true
+      condition: eq(1,0)
       displayName: 'Sign Symbol Package'
       inputs:
         ConnectedServiceName: 'z3-esrp-signing-2'