From 5687cda1012224c8da0b06de1afc1dd1fac191e5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 17:25:21 -0700 Subject: [PATCH] add ubuntu nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly-ubuntu.yaml | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 scripts/nightly-ubuntu.yaml diff --git a/scripts/nightly-ubuntu.yaml b/scripts/nightly-ubuntu.yaml new file mode 100644 index 000000000..6ebecd3a9 --- /dev/null +++ b/scripts/nightly-ubuntu.yaml @@ -0,0 +1,35 @@ +pool: + vmImage: "vs2017-win2016" + +steps: + +- task: DotNetCoreInstaller@0 + displayName: 'Use .NET Core sdk 2.1' + inputs: + version: 2.1.300 + +- 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: 'create' + target: '$(Build.SourceVersion)' + tagSource: 'manual' + tag: '$(Build.SourceVersion)' + title: 'Nightly Windows' + releaseNotesSource: 'input' + releaseNotes: 'nightly build' + isDraft: true + isPreRelease: true + + + +