From ae93469e17cec9cd3e9df8f3880fdbbc509bac11 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jun 2019 02:29:06 +0200 Subject: [PATCH] Set up CI with Azure Pipelines [skip ci] --- scripts/nightly-ubuntu.yaml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/scripts/nightly-ubuntu.yaml b/scripts/nightly-ubuntu.yaml index 6ebecd3a9..36ddfc47d 100644 --- a/scripts/nightly-ubuntu.yaml +++ b/scripts/nightly-ubuntu.yaml @@ -1,5 +1,5 @@ pool: - vmImage: "vs2017-win2016" + vmImage: "ubuntu-16.04" steps: @@ -12,9 +12,9 @@ steps: inputs: secureFile: 'z3.snk' -- script: scripts\mk_win_dist.cmd +- script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk -- script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y +- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/* - task: GitHubRelease@0 inputs: @@ -24,10 +24,10 @@ steps: target: '$(Build.SourceVersion)' tagSource: 'manual' tag: '$(Build.SourceVersion)' - title: 'Nightly Windows' + title: 'Nightly Ubuntu' releaseNotesSource: 'input' releaseNotes: 'nightly build' - isDraft: true + isDraft: false isPreRelease: true