From 0c8a219fc4cc1ad2b4302e1f6d57f228a3fe0cc8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 21 Dec 2025 13:36:57 -0800
Subject: [PATCH] next flight test

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c60776b0a..632c24b1d 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -196,7 +196,7 @@ stages:
     - task: PublishPipelineArtifact@0
       inputs:
         artifactName: 'ManyLinuxPythonBuildArm64v1'
-        targetPath: $(Build.ArtifactStagingDirectory)    
+        targetPath: $(Build.ArtifactStagingDirectory)   
 
   - job: ManyLinuxPythonBuildArm64V2
     displayName: "Python bindings (manylinux Centos ARM64) build"
@@ -205,24 +205,29 @@ stages:
       vmImage: "ubuntu-latest"
     steps:
     - script: |
+        set -e
         sudo apt-get update
         sudo apt-get install -y qemu-user-static
-      displayName: "Install QEMU for ARM64 emulation"
-    - script: docker run --rm --privileged multiarch/qemu-user-static --reset -p yes
-      displayName: "Register QEMU"
+        docker run --rm --privileged multiarch/qemu-user-static --reset -p yes
+      displayName: "Setup QEMU for ARM64 emulation"
     - script: |
+        set -e
         docker run --rm -v $(pwd):/workspace -w /workspace \
+          -e HOME=/tmp \
+          -e MAKEFLAGS="-j2" \
           quay.io/pypa/manylinux2014_aarch64:latest \
-          bash -c "/opt/python/cp38-cp38/bin/python -m venv /workspace/env && \
-                   source /workspace/env/bin/activate && \
-                   pip install build git+https://github.com/rhelmot/auditwheel && \
-                   cd src/api/python && \
-                   python -m build && \
-                   AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && \
-                   cd ../../.. && \
-                   pip install ./src/api/python/wheelhouse/*.whl && \
-                   python - <src/api/python/z3test.py z3 && \
-                   python - <src/api/python/z3test.py z3num"
+          bash -c "
+            set -e
+            /opt/python/cp38-cp38/bin/python -m venv /tmp/env
+            source /tmp/env/bin/activate
+            pip install build git+https://github.com/rhelmot/auditwheel
+            cd /workspace/src/api/python
+            python -m build
+            AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl
+            pip install wheelhouse/*.whl
+            python - <z3test.py z3
+            python - <z3test.py z3num
+          "
       displayName: "Build and test ARM64 wheel"
     - task: CopyFiles@2
       inputs:
@@ -232,8 +237,7 @@ stages:
     - task: PublishPipelineArtifact@0
       inputs:
         artifactName: 'ManyLinuxPythonBuildArm64'
-        targetPath: $(Build.ArtifactStagingDirectory)    
-
+        targetPath: $(Build.ArtifactStagingDirectory)     
 
 
   - template: build-win-signed.yml