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

Update nightly.yaml

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-02-23 15:35:20 -08:00 • committed by GitHub
parent 507e999726
commit d18e9af975
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/nightly.yaml
View file

@ -231,12 +231,12 @@ stages:
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu 20.04 Build' displayName: 'Download Ubuntu 20.04 Build'
inputs: inputs:
artifact: 'Ubuntu-20.04' artifact: 'Ubuntu20'
path: $(Agent.TempDirectory)\package path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu ARM64 Build' displayName: 'Download Ubuntu ARM64 Build'
inputs: inputs:
artifact: 'ubuntu-arm64' artifact: 'UbuntuArm64'
path: $(Agent.TempDirectory)\package path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu Build' displayName: 'Download Ubuntu Build'
@ -539,7 +539,7 @@ stages:
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: "Download Ubuntu-20.04" displayName: "Download Ubuntu-20.04"
inputs: inputs:
artifactName: 'Ubuntu-20.04' artifactName: 'Ubuntu20'
targetPath: tmp targetPath: tmp
- task: DownloadPipelineArtifact@2 - task: DownloadPipelineArtifact@2
displayName: "Download Doc" displayName: "Download Doc"