From 7422d819a3fec495dc8f41a33c4b6d6e221a0d37 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 Aug 2025 09:49:47 -0700
Subject: [PATCH] remove upload artifact for azure-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 180ad7437..6368afdb4 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -56,15 +56,6 @@ jobs:
   - script: "pip install build git+https://github.com/rhelmot/auditwheel"
   - script: "cd src/api/python && python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../.."
   - script: "pip install ./src/api/python/wheelhouse/*.whl && python - <src/api/python/z3test.py z3 && python - <src/api/python/z3test.py z3num"
-  - task: CopyFiles@2
-    inputs:
-      sourceFolder: src/api/python/wheelhouse
-      contents: '*.whl'
-      targetFolder: $(Build.ArtifactStagingDirectory)
-  - task: PublishPipelineArtifact@0
-    inputs:
-      artifactName: 'ManyLinuxPythonBuildAMD64'
-      targetPath: $(Build.ArtifactStagingDirectory)   
 
 - job: ManyLinuxPythonBuildArm64
   timeoutInMinutes: 90