From d6040ee5ab07da9c84e30754f232a0f75f4c0a3d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Aug 2024 09:29:11 -0700
Subject: [PATCH] do not copy artifacts from CI pipeline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index b3bc0f226..48dcf094a 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -66,15 +66,6 @@ jobs:
       scriptPath: scripts/mk_unix_dist.py
       arguments: --nodotnet --nojava --arch=arm64
       pythonInterpreter: $(python)
-  - task: CopyFiles@2
-    inputs:
-      sourceFolder: dist
-      contents: '*.zip'
-      targetFolder: $(Build.ArtifactStagingDirectory)
-  - task: PublishPipelineArtifact@0
-    inputs:
-      artifactName: 'ManyLinuxBuildArm64'
-      targetPath: $(Build.ArtifactStagingDirectory)
 
 - job: "Ubuntu20OCaml"
   displayName: "Ubuntu 20 with OCaml"