fixing paths and re-add arm64

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

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"