mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-02 09:20:22 +00:00
Code Activity

Update nightly.yaml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-02-23 19:28:44 -08:00
parent 5a085015e4
commit f0839e289f
1 changed files with 2 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

12
scripts/nightly.yaml
View file

@ -4,7 +4,7 @@ variables:
Patch: '6' Patch: '6'
ReleaseVersion: $(Major).$(Minor).$(Patch) ReleaseVersion: $(Major).$(Minor).$(Patch)
AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId) AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
NightlyVersion: $(AssemblyVersion)-$(Build.DefinitionName) NightlyVersion: $(AssemblyVersion)-$(Build.buildId)
stages: stages:
- stage: Build - stage: Build
@ -238,11 +238,6 @@ stages:
inputs: inputs:
artifact: 'UbuntuArm64' artifact: 'UbuntuArm64'
path: $(Agent.TempDirectory)\package path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu Build'
inputs:
artifact: 'ubuntu-x64'
path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: 'Download macOS Build' displayName: 'Download macOS Build'
inputs: inputs:
@ -531,11 +526,6 @@ stages:
inputs: inputs:
artifactName: 'ubuntu-arm64' artifactName: 'ubuntu-arm64'
targetPath: tmp targetPath: tmp
- task: DownloadPipelineArtifact@2
displayName: "Download Ubuntu"
inputs:
artifactName: 'ubuntu-x64'
targetPath: tmp
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: "Download Ubuntu-20.04" displayName: "Download Ubuntu-20.04"
inputs: inputs: