update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 21, 2019 · bfc3044 · bfc3044
1 parent 9fae4a1
commit bfc3044
Showing 1 changed file with 8 additions and 7 deletions.
diff --git 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: |