From 1b2b8809c05b778589b400acc30f87297aef442f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 Jul 2023 11:10:14 -0700
Subject: [PATCH] try to add Ubuntu ARM64 to nightly #6835

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f4573877e..9717a363f 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -63,6 +63,20 @@ stages:
         artifactName: 'Ubuntu'
         targetPath: $(Build.ArtifactStagingDirectory)
 
+  - job: UbuntuArm64
+    displayName: "Ubuntu ARM64 build"
+    pool:
+      vmImage: "ubuntu-latest"
+    steps:
+    - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
+    - script: git clone https://github.com/z3prover/z3test z3test
+    - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2    
+    - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+    - task: PublishPipelineArtifact@0
+      inputs:
+        artifactName: 'Ubuntu'
+        targetPath: $(Build.ArtifactStagingDirectory)
+
   - job: UbuntuDoc
     displayName: "Ubuntu Doc build"
     pool:
@@ -238,6 +252,11 @@ stages:
       inputs:
         artifact: 'Ubuntu'
         path: $(Agent.TempDirectory)\package
+    - task: DownloadPipelineArtifact@2
+      displayName: 'Download Ubuntu ARM64 Build'
+      inputs:
+        artifact: 'UbuntuArm64'
+        path: $(Agent.TempDirectory)\package
     - task: DownloadPipelineArtifact@2
       displayName: 'Download macOS Build'
       inputs:
@@ -521,6 +540,11 @@ stages:
       inputs:
         artifactName: 'MacArm64'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download Ubuntu Arm64"
+      inputs:
+        artifactName: 'UbuntuArm64'
+        targetPath: tmp
     - task: DownloadPipelineArtifact@2
       displayName: "Download Ubuntu"
       inputs: