From 6c5434f9888e1f9aabc1d994edfb6f5c9be1a60a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 Jul 2023 11:40:37 -0700
Subject: [PATCH] rename artifacts apart

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 9717a363f..d3e0737b5 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -74,7 +74,7 @@ stages:
     - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
     - task: PublishPipelineArtifact@0
       inputs:
-        artifactName: 'Ubuntu'
+        artifactName: 'UbuntuArm64'
         targetPath: $(Build.ArtifactStagingDirectory)
 
   - job: UbuntuDoc