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 nightly

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-10-21 12:35:12 -07:00
parent 4051fbd8b2
commit 9fae4a16e6
1 changed files with 18 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
scripts/nightly.yaml
View file

@ -95,14 +95,22 @@ jobs:
cd scripts cd scripts
python mk_nuget_task.py ../tmp $(z3Version) 3424ffa python mk_nuget_task.py ../tmp $(z3Version) 3424ffa
cd .. cd ..
- task: NuGetCommand@2 - task: DotNetCoreCLI@2
inputs: inputs:
command: pack command: pack
basePath: scripts/out basePath: scripts/out
- script: | - task: DotNetCoreCLI@2
cd scripts inputs:
EsprClient.exe sign -a authorization.json -p policy.json -i out/nuget_sign_input.json -o out/diagnostics.json command: 'pack'
cd .. basePath: scripts/out
includesymbols: true
# TBD: access packages
# Not available as a task?
# - script: |
# cd scripts
# EsprClient.exe sign -a authorization.json -p policy.json -i out/nuget_sign_input.json -o out/diagnostics.json
# cd ..
- job: Python - job: Python
displayName: "Python packaging" displayName: "Python packaging"
@ -140,6 +148,7 @@ jobs:
- Mac - Mac
- Ubuntu - Ubuntu
- Windows - Windows
- NuGet
steps: steps:
- task: DownloadPipelineArtifact@0 - task: DownloadPipelineArtifact@0
inputs: inputs:
@ -153,6 +162,10 @@ jobs:
inputs: inputs:
artifactName: 'Ubuntu' artifactName: 'Ubuntu'
targetPath: tmp targetPath: tmp
- task: DownloadPipelineArtifact@0
inputs:
artifactName: 'NuGet'
targetPath: tmp
- task: GitHubRelease@0 - task: GitHubRelease@0
inputs: inputs:
gitHubConnection: Z3GitHub gitHubConnection: Z3GitHub