Skip to content

TypedPython: publish the package to PyPI - #355

Merged
b-re-w merged 1 commit into
developfrom
feat/typedpython-pypi
Oct 29, 2026
Merged

b-re-w merged 1 commit into
developfrom
feat/typedpython-pypi

Conversation

@b-re-w

@b-re-w b-re-w commented Oct 29, 2026

Copy link
Copy Markdown
Member

Closes #354

  • .github/workflows/typedpython-pypi.yml: tag typedpython-v, builds the wheel (wheel only: pure Python, an sdist would carry the Kotlin module), compiles docs/release/desktop/typedpython/kernels.py from the wheel alone, then uv publish --trusted-publishing always in environment pypi.
  • pyproject.toml: description, license, authors, homepage.
  • docs/INTENT.md §1.4: distribution decision (2026-10-30).

Local: uv build --wheel OK, METADATA checked.

A typedpython-v* tag builds the wheel, checks that it alone compiles the release example, and publishes it. INTENT 1.4 records the maintainer's distribution decision.
@b-re-w
b-re-w merged commit 6eb83b1 into develop Oct 29, 2026
@b-re-w
b-re-w deleted the feat/typedpython-pypi branch October 29, 2026 19:52
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