From 9db3064f2712962e28c3f96d204bbacbc875f11a Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 11 May 2026 22:40:05 +0000
Subject: [PATCH] Fix manylinux Python selection in CI and release workflows

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/6f228b53-88a3-4a5f-89b6-7a6daaf066a6

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/ci.yml      | 18 ++++++++++++++++--
 .github/workflows/release.yml | 27 ++++++++++++++++++++++++---
 2 files changed, 40 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4f99f2f48..2f6a8118a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -83,8 +83,15 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v6.0.2
 
+      - name: Select Python
+        run: |
+          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          test -x "$PYTHON"
+          echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
+          "$PYTHON" --version
+
       - name: Setup Python virtual environment
-        run: "/opt/python/cp38-cp38/bin/python -m venv $PWD/env"
+        run: "$PYTHON -m venv $PWD/env"
 
       - name: Install build dependencies
         run: |
@@ -123,8 +130,15 @@ jobs:
           mkdir -p /tmp/arm-toolchain/
           tar xf /tmp/arm-toolchain.tar.xz -C /tmp/arm-toolchain/ --strip-components=1
 
+      - name: Select Python
+        run: |
+          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          test -x "$PYTHON"
+          echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
+          "$PYTHON" --version
+
       - name: Setup Python virtual environment
-        run: "/opt/python/cp38-cp38/bin/python -m venv $PWD/env"
+        run: "$PYTHON -m venv $PWD/env"
 
       - name: Install build dependencies
         run: |
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index e68611600..bcbc2236c 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -313,9 +313,16 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v6.0.2
       
+      - name: Select Python
+        run: |
+          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          test -x "$PYTHON"
+          echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
+          "$PYTHON" --version
+
       - name: Setup Python environment
         run: |
-          /opt/python/cp38-cp38/bin/python -m venv $PWD/env
+          "$PYTHON" -m venv $PWD/env
           echo "$PWD/env/bin" >> $GITHUB_PATH
       
       - name: Install build tools
@@ -351,9 +358,16 @@ jobs:
           mkdir -p /tmp/arm-toolchain/
           tar xf /tmp/arm-toolchain.tar.xz -C /tmp/arm-toolchain/ --strip-components=1
       
+      - name: Select Python
+        run: |
+          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          test -x "$PYTHON"
+          echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
+          "$PYTHON" --version
+
       - name: Setup Python environment
         run: |
-          /opt/python/cp38-cp38/bin/python -m venv $PWD/env
+          "$PYTHON" -m venv $PWD/env
           echo "$PWD/env/bin" >> $GITHUB_PATH
           echo "/tmp/arm-toolchain/bin" >> $GITHUB_PATH
           echo "/tmp/arm-toolchain/aarch64-none-linux-gnu/libc/usr/bin" >> $GITHUB_PATH
@@ -399,9 +413,16 @@ jobs:
           cd /tmp/mpfr-4.2.1 && ./configure --prefix=/usr/local --disable-static && make -j$(nproc) && make install
           ldconfig
       
+      - name: Select Python
+        run: |
+          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          test -x "$PYTHON"
+          echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
+          "$PYTHON" --version
+
       - name: Setup Python environment
         run: |
-          /opt/python/cp38-cp38/bin/python -m venv $PWD/env
+          "$PYTHON" -m venv $PWD/env
           echo "$PWD/env/bin" >> $GITHUB_PATH
           echo "/tmp/riscv-toolchain/bin" >> $GITHUB_PATH