Workflow tweaks for simple workflow #3

Merged
JMR-dev merged 33 commits from workflow_tweaks_for_simple_workflow into main 2025-08-25 23:54:13 +00:00
Showing only changes of commit af86f52dc5 - Show all commits
+13
View File
@@ -229,9 +229,22 @@ jobs:
set -euo pipefail
export PYENV_ROOT="${GITHUB_WORKSPACE}/.pyenv"
# Remove any leftover pyenv directories that block installation
if [ -d "$PYENV_ROOT" ]; then
echo "Removing existing workspace pyenv: $PYENV_ROOT"
rm -rf "$PYENV_ROOT"
fi
if [ -d "$HOME/.pyenv" ]; then
echo "Removing existing home pyenv: $HOME/.pyenv"
rm -rf "$HOME/.pyenv"
fi
mkdir -p "$PYENV_ROOT"
echo "Downloading pyenv installer and running it"
wget -qO /tmp/pyenv_install.sh https://pyenv.run
chmod +x /tmp/pyenv_install.sh
bash /tmp/pyenv_install.sh