From e0a1db869f21c1da408905160872202df656ff1c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 18:50:37 -0700
Subject: [PATCH] consolidate nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 78 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 78 insertions(+)
 create mode 100644 scripts/nightly.yaml

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
new file mode 100644
index 000000000..0970ac4fe
--- /dev/null
+++ b/scripts/nightly.yaml
@@ -0,0 +1,78 @@
+jobs:
+
+- job: "Mac"
+  displayName: "Mac Build"
+  pool:
+    vmImage: "macOS-10.14"
+  steps:
+  - task: DownloadSecureFile@1
+    inputs:
+      secureFile: 'z3.snk'
+  - script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk
+  - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: Z3GitHub
+      repositoryName: 'Z3Prover/z3'
+      action: 'edit'
+      target: '$(Build.SourceVersion)'
+      tagSource: 'manual'
+      tag: 'Nightly'
+      title: 'Nightly'
+      releaseNotesSource: 'input'
+      releaseNotes: 'nightly build'
+      isDraft: false
+      isPreRelease: true
+
+- job: "Ubuntu"
+  displayName: "Ubuntu build"
+  pool:
+    vmImage: "ubuntu-16.04"
+  steps:
+  - task: DownloadSecureFile@1
+    inputs:
+      secureFile: 'z3.snk'
+  - script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk
+  - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: Z3GitHub
+      repositoryName: 'Z3Prover/z3'
+      action: 'edit'
+      target: '$(Build.SourceVersion)'
+      tagSource: 'manual'
+      tag: 'Nightly'
+      title: 'Nightly'
+      releaseNotesSource: 'input'
+      releaseNotes: 'nightly build'
+      isDraft: false
+      isPreRelease: true
+
+- job: "Windows"
+  displayName: "Windows build"
+  pool:
+    vmImage: "vs2017-win2016"
+  steps:
+  - task: DownloadSecureFile@1
+    inputs:
+      secureFile: 'z3.snk'
+  - script: scripts\mk_win_dist.cmd
+  - script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: Z3GitHub
+      repositoryName: 'Z3Prover/z3'
+      action: 'edit'
+      target: '$(Build.SourceVersion)'
+      tagSource: 'manual'
+      tag: 'Nightly'
+      title: 'Nightly'
+      releaseNotesSource: 'input'
+      releaseNotes: 'nightly build'
+      isDraft: false
+      isPreRelease: true
+
+
+
+
+