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