From bdfab8528e7e24f2dbae4d19a9edd3346645dae4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 11 May 2026 22:41:58 +0000
Subject: [PATCH] Improve manylinux Python selection diagnostics in 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      | 6 ++++--
 .github/workflows/release.yml | 9 ++++++---
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fde204c98..c0b4070a3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,8 +85,9 @@ jobs:
 
       - name: Select Python
         run: |
+          # Use the first available manylinux interpreter for deterministic selection.
           PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
-          test -x "$PYTHON"
+          test -x "$PYTHON" || { echo "Error: no interpreter found under /opt/python/*/bin/python"; exit 1; }
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
 
@@ -132,8 +133,9 @@ jobs:
 
       - name: Select Python
         run: |
+          # Use the first available manylinux interpreter for deterministic selection.
           PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
-          test -x "$PYTHON"
+          test -x "$PYTHON" || { echo "Error: no interpreter found under /opt/python/*/bin/python"; exit 1; }
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
 
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 733df6e76..0a62bbba4 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -315,8 +315,9 @@ jobs:
       
       - name: Select Python
         run: |
+          # Use the first available manylinux interpreter for deterministic selection.
           PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
-          test -x "$PYTHON"
+          test -x "$PYTHON" || { echo "Error: no interpreter found under /opt/python/*/bin/python"; exit 1; }
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
 
@@ -360,8 +361,9 @@ jobs:
       
       - name: Select Python
         run: |
+          # Use the first available manylinux interpreter for deterministic selection.
           PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
-          test -x "$PYTHON"
+          test -x "$PYTHON" || { echo "Error: no interpreter found under /opt/python/*/bin/python"; exit 1; }
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
 
@@ -415,8 +417,9 @@ jobs:
       
       - name: Select Python
         run: |
+          # Use the first available manylinux interpreter for deterministic selection.
           PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
-          test -x "$PYTHON"
+          test -x "$PYTHON" || { echo "Error: no interpreter found under /opt/python/*/bin/python"; exit 1; }
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version