Repository navigation
TypedPython: publish the typedpython package to PyPI #354
Description
Maintainer, 2026-10-30: TypedPython reaches plain Python users as a distribution (the thisisthepy CPython build ships with it), and the typedpython package is published to PyPI.
Scope: a workflow publishing the wheel to PyPI by trusted publishing on a typedpython-v* tag, after the wheel alone compiles the release example; PyPI metadata in pyproject.toml; the decision recorded in docs/INTENT.md §1.4.
Done when: uv add typedpython installs 0.1.0 from PyPI.
Activity
b-re-w commentedon Oct 29, 2026
Workflow landed in develop via #355; the issue stays open until 0.1.0 is on PyPI.
b-re-w commentedon Oct 29, 2026
On hold (maintainer, 2026-10-30): PyPI rejects 'typedpython' as too similar to the existing 'typed-python', so there is no name to reserve. The workflow stays (it runs only on a typedpython-v* tag); no PyPI publisher is set up.
b-re-w commentedon Oct 29, 2026
Not needed (maintainer, 2026-10-30): the GitHub Release and the thisisthepy distribution are enough. Workflow removed.