Skip to content

πŸ‘· ci: run spore CLI setup with Python 3.13#19

Merged
zrr1999 merged 1 commit into
mainfrom
chore/python-313-tooling
May 4, 2026
Merged

πŸ‘· ci: run spore CLI setup with Python 3.13#19
zrr1999 merged 1 commit into
mainfrom
chore/python-313-tooling

Conversation

@zrr1999
Copy link
Copy Markdown
Member

@zrr1999 zrr1999 commented May 4, 2026

Summary

  • Add explicit Python 3.13 setup to the uv-based Spore CLI CI job before installing spore-lang.

Validation

  • uvx --python 3.13 prek run --all-files
  • cargo build --manifest-path host/Cargo.toml
  • cargo test --manifest-path host/Cargo.toml
  • uvx --python 3.13 --from spore-lang==0.0.3 spore --version
  • uvx --python 3.13 --from spore-lang==0.0.3 spore format --check
  • find src/basic_cli -name '*.sp' -type f | sort | xargs -n 1 uvx --python 3.13 --from spore-lang==0.0.3 spore check
  • uvx --python 3.13 --from spore-lang==0.0.3 spore check examples/hello.sp
  • uvx --python 3.13 --from spore-lang==0.0.3 spore check examples/hello-app/src/main.sp
  • find src/basic_cli -name '*.sp' -type f | sort | xargs -n 1 uvx --python 3.13 --from spore-lang==0.0.3 spore build
  • uvx --python 3.13 --from spore-lang==0.0.3 spore run examples/hello.sp
  • (cd examples/hello-app && uvx --python 3.13 --from spore-lang==0.0.3 spore run src/main.sp)
  • uvx --python 3.13 --from spore-lang==0.0.3 spore test
  • git diff --check

Notes

  • No blockers.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@zrr1999 zrr1999 merged commit f457d08 into main May 4, 2026
6 of 7 checks passed
@zrr1999 zrr1999 deleted the chore/python-313-tooling branch May 4, 2026 16:10
zrr1999 added a commit that referenced this pull request May 16, 2026
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant