From 0218fb75a220a728e90768bba3ed247038f47712 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 2 Jul 2025 07:58:58 -0700
Subject: [PATCH] fixup pipleline to support testing packaging

---
 azure-pipelines.yml | 25 +++++++++++++++++++------
 1 file changed, 19 insertions(+), 6 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 8abcb9a51..3bffc5910 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -56,6 +56,15 @@ 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
@@ -245,6 +254,15 @@ jobs:
 # Skip as dead-slow in debug mode:
 #  - template: scripts/test-z3.yml
     - template: scripts/test-regressions.yml
+    - task: CopyFiles@2
+      inputs:
+        sourceFolder: dist
+        contents: '*.zip'
+        targetFolder: $(Build.ArtifactStagingDirectory)
+    - task: PublishPipelineArtifact@0
+      inputs:
+        artifactName: 'MacOSPython'
+        targetPath: $(Build.ArtifactStagingDirectory)
 
 
 - job: "MacOSCMake"
@@ -314,18 +332,13 @@ jobs:
   - task: DownloadPipelineArtifact@2
     displayName: 'Download macOS Build'
     inputs:
-      artifactName: 'macOsPython'
+      artifactName: 'MacOSPython'
       targetPath: $(Agent.TempDirectory)
   - task: DownloadPipelineArtifact@2
     displayName: 'Download ManyLinux Build'    
     inputs:
       artifactName: 'ManyLinuxPythonBuildAmd64'
       targetPath: $(Agent.TempDirectory)
-  - task: DownloadPipelineArtifact@2
-    displayName: 'Download ManyLinux Arm64 Build'
-    inputs:
-      artifactName: 'ManyLinuxPythonBuildArm64'
-      targetPath: $(Agent.TempDirectory)
   - script: cd $(Agent.TempDirectory); mkdir osx-x64-bin; cd osx-x64-bin; unzip ../*x64-osx*.zip
   - script: python3 -m pip install --user -U setuptools
   - script: cd src/api/python; python3 setup.py sdist