From bfc30440ac040d58fa05d76612fd766f512c0c5a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Oct 2019 13:57:45 -0700
Subject: [PATCH] update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 552918d49..263757185 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -93,18 +93,19 @@ jobs:
      targetPath: tmp
   - script: |
        cd scripts 
-       python mk_nuget_task.py ../tmp $(z3Version) 3424ffa
+       python mk_nuget_task.py ../tmp $(z3Version) $(Build.SourceVersion)
        cd ..
-  - task: DotNetCoreCLI@2
+  - task: NuGetCommand@2
     inputs:
-     command: pack
-     basePath: scripts/out
-  - task: DotNetCoreCLI@2
+      command: pack
+      packagesToPack: scripts/out/*.nuspec
+      packDestination: $(Build.ArtifactStagingDirectory)
+  - task: NuGetCommand@2
     inputs: 
       command: 'pack'
-      basePath: scripts/out
+      packagesToPack: scripts/out/*.nuspec
       includesymbols: true
-# TBD: access packages 
+      packDestination: $(Build.ArtifactStagingDirectory)
 
 # Not available as a task?
 #  - script: |