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

Update nightly.yaml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-12-22 09:58:03 -08:00
parent 010d578e8f
commit d72f6c80df
1 changed files with 1 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
scripts/nightly.yaml
View file

@ -150,10 +150,6 @@ stages:
basePath: $(Agent.TempDirectory)\package\out
packDestination: $(Build.ArtifactStagingDirectory)
verbosityPack: detailed
- task: PublishPipelineArtifact@1
inputs:
targetPath: $(Build.ArtifactStagingDirectory)
artifactName: 'NuGet'
- task: PythonScript@0
displayName: 'Python: assemble files'
inputs:
@ -176,7 +172,7 @@ stages:
- task: PublishPipelineArtifact@1
inputs:
targetPath: $(Build.ArtifactStagingDirectory)
artifactName: 'SNuGet'
artifactName: 'NuGet'
- job: Python
@ -251,11 +247,6 @@ stages:
inputs:
artifactName: 'NuGet'
targetPath: tmp
- task: DownloadPipelineArtifact@2
displayName: "Download SNuGet - with symbols"
inputs:
artifactName: 'SNuGet'
targetPath: tmp
- task: GitHubRelease@0
inputs:
gitHubConnection: Z3GitHub