3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

Update nightly.yaml for Azure Pipelines

This commit is contained in:
Nikolaj Bjorner 2020-12-19 18:42:10 -08:00
parent 64a92f720b
commit 76a4bf5fa0

View file

@ -97,6 +97,12 @@ jobs:
- job: NuGet
displayName: "NuGet packaging"
dependsOn:
- Mac
- Ubuntu
- Windows32
- Windows64
- NuGet
pool:
vmImage: "windows-latest"
steps:
@ -109,17 +115,17 @@ jobs:
- task: DownloadPipelineArtifact@2
displayName: 'Download Win64 Build'
inputs:
artifact: 'WindowsBuild-x64'
artifact: 'Windows64'
path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu Build'
inputs:
artifact: 'UbuntuBuild'
artifact: 'Ubuntu'
path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2
displayName: 'Download macOS Build'
inputs:
artifact: 'macOSBuild'
artifact: 'Mac'
path: $(Agent.TempDirectory)\package
- task: PythonScript@0
displayName: 'Python: assemble files'
@ -156,12 +162,6 @@ jobs:
verbosityPack: detailed
includeSymbols: true
# 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
displayName: "Python packaging"
dependsOn: