mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

Update nightly.yaml

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

10
scripts/nightly.yaml
View file

@ -231,7 +231,7 @@ stages:
- task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu 20.04 Build'
inputs:
artifact: 'Ubuntu20'
artifact: 'UbuntuBuild20'
path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2
displayName: 'Download Ubuntu ARM64 Build'
@ -246,7 +246,7 @@ stages:
- task: DownloadPipelineArtifact@2
displayName: 'Download macOS Build'
inputs:
artifact: 'Mac'
artifact: 'macOsBuild'
path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2
displayName: 'Download macOS Arm64 Build'
@ -466,7 +466,7 @@ stages:
targetPath: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2
inputs:
artifactName: 'Mac'
artifactName: 'macOsBuild'
targetPath: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2
inputs:
@ -519,7 +519,7 @@ stages:
- task: DownloadPipelineArtifact@2
displayName: "Download Mac"
inputs:
artifactName: 'Mac'
artifactName: 'macOsBuild'
targetPath: tmp
- task: DownloadPipelineArtifact@2
displayName: "Download MacArm64"
@ -539,7 +539,7 @@ stages:
- task: DownloadPipelineArtifact@2
displayName: "Download Ubuntu-20.04"
inputs:
artifactName: 'Ubuntu20'
artifactName: 'UbuntuBuild20'
targetPath: tmp
- task: DownloadPipelineArtifact@2
displayName: "Download Doc"