From 9fae4a16e6ba609874c7cf61853c763f8c6597c4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Oct 2019 12:35:12 -0700
Subject: [PATCH] update nightly

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index fd41d0945..552918d49 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -95,14 +95,22 @@ jobs:
        cd scripts 
        python mk_nuget_task.py ../tmp $(z3Version) 3424ffa
        cd ..
-  - task: NuGetCommand@2
+  - task: DotNetCoreCLI@2
     inputs:
      command: pack
      basePath: scripts/out
-  - script: | 
-      cd scripts
-      EsprClient.exe sign -a authorization.json -p policy.json -i out/nuget_sign_input.json -o out/diagnostics.json       
-      cd ..
+  - task: DotNetCoreCLI@2
+    inputs: 
+      command: 'pack'
+      basePath: scripts/out
+      includesymbols: true
+# TBD: access packages 
+
+# Not available as a task?
+#  - script: | 
+#      cd scripts
+#      EsprClient.exe sign -a authorization.json -p policy.json -i out/nuget_sign_input.json -o out/diagnostics.json       
+#      cd ..
 
 - job: Python
   displayName: "Python packaging"
@@ -140,6 +148,7 @@ jobs:
   - Mac
   - Ubuntu
   - Windows
+  - NuGet
   steps:
   - task: DownloadPipelineArtifact@0
     inputs:
@@ -153,6 +162,10 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
+  - task: DownloadPipelineArtifact@0
+    inputs:
+     artifactName: 'NuGet'
+     targetPath: tmp
   - task: GitHubRelease@0
     inputs:
       gitHubConnection: Z3GitHub