From 3cd49d56c23ad65572ebbcba8851cc45939b28dc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Dec 2020 17:29:26 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 55419b33e..f77c1707e 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -118,10 +118,6 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - script: |
-       cd scripts 
-       python mk_nuget_task.py ../tmp $(z3Version) $(Build.SourceVersion)
-       cd ..
   - task: PythonScript@0
     displayName: 'Python: assemble files'
     inputs: