From 81610657819a52d53f50c165688b34c5b92a191d 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:04 +0000
Subject: [PATCH] Harden manylinux Python discovery 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      | 4 ++--
 .github/workflows/release.yml | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2f6a8118a..fde204c98 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,7 +85,7 @@ jobs:
 
       - name: Select Python
         run: |
-          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
           test -x "$PYTHON"
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
@@ -132,7 +132,7 @@ jobs:
 
       - name: Select Python
         run: |
-          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
           test -x "$PYTHON"
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index bcbc2236c..733df6e76 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -315,7 +315,7 @@ jobs:
       
       - name: Select Python
         run: |
-          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
           test -x "$PYTHON"
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
@@ -360,7 +360,7 @@ jobs:
       
       - name: Select Python
         run: |
-          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
           test -x "$PYTHON"
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version
@@ -415,7 +415,7 @@ jobs:
       
       - name: Select Python
         run: |
-          PYTHON=$(ls -1 /opt/python/*/bin/python | sort | head -n1)
+          PYTHON=$(printf '%s\n' /opt/python/*/bin/python | sort -V | head -n1)
           test -x "$PYTHON"
           echo "PYTHON=$PYTHON" >> "$GITHUB_ENV"
           "$PYTHON" --version