From c5d31be613b20132d4fe5368ea7160839cb58b3c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 20 Dec 2019 21:12:13 -0800
Subject: [PATCH] Update nightly.yaml

add Python top zip
---
 scripts/nightly.yaml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 2058dd26e..f04825f34 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -152,6 +152,7 @@ jobs:
   - Mac
   - Ubuntu
   - Windows
+  - Python
   steps:
   - task: DownloadPipelineArtifact@0
     inputs:
@@ -165,6 +166,10 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
+  - task: DownloadPipelineArtifact@0
+    inputs:
+     artifactName: 'Python'
+     targetPath: tmp
 #  - task: DownloadPipelineArtifact@0
 #    inputs:
 #     artifactName: 'NuGet'