mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Update release.yml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2019-06-11 19:46:47 +02:00
parent d51f8c90f9
commit 4b782c8c6c
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scripts/release.yml
View file

@ -43,9 +43,7 @@ jobs:
- task: DownloadSecureFile@1 - task: DownloadSecureFile@1
inputs: inputs:
secureFile: 'z3.snk' secureFile: 'z3.snk'
- script: scripts\mk_win_dist.cmd - script: scripts\mk_win_dist.cmd
# - script: git clone https://github.com/z3prover/z3test z3test
# - script: python z3test/scripts/test_benchmarks.py build-dist\z3.exe z3test/regressions/smt2
- script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y - script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y
- task: PublishPipelineArtifact@0 - task: PublishPipelineArtifact@0
inputs: inputs:
@ -71,6 +69,8 @@ jobs:
inputs: inputs:
artifactName: 'Ubuntu' artifactName: 'Ubuntu'
targetPath: tmp targetPath: tmp
# TBD: build NuGet package
# TBD: this script should build a specific pre-specified tag
- task: GitHubRelease@0 - task: GitHubRelease@0
inputs: inputs:
gitHubConnection: Z3GitHub gitHubConnection: Z3GitHub
@ -91,7 +91,6 @@ jobs:
releaseNotesSource: 'input' releaseNotesSource: 'input'
releaseNotes: 'nightly build' releaseNotes: 'nightly build'
assets: 'tmp/*' assets: 'tmp/*'
# assetUploadMode: 'replace'
isDraft: false isDraft: false
isPreRelease: true isPreRelease: true