Pin managed Python to a known-good version (default 3.12) - #10

Merged

jefferis merged 3 commits into

mainfrom

default-python-version

Sep 12, 2026

Commits on Sep 12, 2026

Pin managed Python to a known-good version (default 3.12)

jefferis
and
claude
committed
9be40ca
ci: brace the if/else in the provision step

jefferis
and
claude
committed
907264d
Fix warn_python_version_mismatch on numeric_version

jefferis
and
claude
committed
70105de