diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 7d9faf47408..95ccb08197a 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -56,12 +56,12 @@ stages: vmImage: "ubuntu-latest" strategy: matrix: -# arm64: -# setupcmds: 'sudo apt update& sudo apt install gcc-arm-none-eabi gcc-arm-linux-gnueabihf gcc-aarch64-linux-gnu g++-aarch64-linux-gnu ninja-build -y' -# buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc' -# arch: 'arm64' -# name: 'z3-$(AssemblyVersion)-arm64-ubuntu' -# compiler: 'aarch64-linux-gnu-g++-11' + arm64: + setupcmds: 'sudo apt update& sudo apt install gcc-arm-none-eabi gcc-arm-linux-gnueabihf gcc-aarch64-linux-gnu g++-aarch64-linux-gnu ninja-build -y' + buildenv: 'CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc' + arch: 'arm64' + name: 'z3-$(AssemblyVersion)-arm64-ubuntu' + compiler: 'aarch64-linux-gnu-g++-11' x64: setupcmds: 'sudo apt update& sudo apt install ninja-build -y' buildenv: '' @@ -178,7 +178,7 @@ stages: - task: PublishPipelineArtifact@1 inputs: targetPath: $(Build.ArtifactStagingDirectory) - artifactName: 'Windows32' + artifactName: 'WindowsBuild-x86' - task: CopyFiles@2 displayName: 'Collect Symbols' inputs: @@ -522,7 +522,7 @@ stages: steps: - task: DownloadPipelineArtifact@2 inputs: - artifactName: 'Windows32' + artifactName: 'WindowsBuild-x86' targetPath: $(Agent.TempDirectory) - task: DownloadPipelineArtifact@2 inputs: @@ -572,7 +572,7 @@ stages: - task: DownloadPipelineArtifact@2 displayName: "Download windows32" inputs: - artifactName: 'Windows32' + artifactName: 'WindowsBuild-x86' targetPath: tmp - task: DownloadPipelineArtifact@2 displayName: "Download windows64"