From 97acdb85a22d8b02a3f0679f3b8d1f4b64303183 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 21 Dec 2025 14:40:43 -0800
Subject: [PATCH] remove flight test

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 632c24b1d..4e52e836a 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -188,47 +188,6 @@ stages:
     - script: "stat `which aarch64-none-linux-gnu-gcc`"
     - script: "pip install build git+https://github.com/rhelmot/auditwheel"
     - script: "cd src/api/python && CC=aarch64-none-linux-gnu-gcc CXX=aarch64-none-linux-gnu-g++ AR=aarch64-none-linux-gnu-ar LD=aarch64-none-linux-gnu-ld Z3_CROSS_COMPILING=aarch64 python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../.."
-    - task: CopyFiles@2
-      inputs:
-        sourceFolder: src/api/python/wheelhouse
-        contents: '*.whl'
-        targetFolder: $(Build.ArtifactStagingDirectory)
-    - task: PublishPipelineArtifact@0
-      inputs:
-        artifactName: 'ManyLinuxPythonBuildArm64v1'
-        targetPath: $(Build.ArtifactStagingDirectory)   
-
-  - job: ManyLinuxPythonBuildArm64V2
-    displayName: "Python bindings (manylinux Centos ARM64) build"
-    timeoutInMinutes: 90    
-    pool:
-      vmImage: "ubuntu-latest"
-    steps:
-    - script: |
-        set -e
-        sudo apt-get update
-        sudo apt-get install -y qemu-user-static
-        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 "
-            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:
         sourceFolder: src/api/python/wheelhouse
@@ -237,8 +196,7 @@ stages:
     - task: PublishPipelineArtifact@0
       inputs:
         artifactName: 'ManyLinuxPythonBuildArm64'
-        targetPath: $(Build.ArtifactStagingDirectory)     
-
+        targetPath: $(Build.ArtifactStagingDirectory)   
 
   - template: build-win-signed.yml
     parameters: