Skip to content

release: package + publish harel-python to PyPI#17

Merged
fruwe merged 1 commit into
mainfrom
release-pypi
Jun 30, 2026
Merged

release: package + publish harel-python to PyPI#17
fruwe merged 1 commit into
mainfrom
release-pypi

Conversation

@fruwe

@fruwe fruwe commented Jun 30, 2026

Copy link
Copy Markdown
Member

Closes #14.

Packaging

  • PyPI distribution name harel-python (the bare harel is taken on PyPI by an unrelated 'durable distributed statecharts' project). Import name stays harelpip install harel-python then import harel.
  • Fix a real install bug: cel-python was dev-only but is imported at module load (cel.py), so a clean install could not import harel. Moved to runtime dependencies.
  • Added classifiers, keywords, project URLs, and a py.typed marker.

Release automation

  • .github/workflows/release.yml: on a v* tag, build sdist+wheel, twine check, and publish via PyPI Trusted Publishing (OIDC) — no stored token.

Verified

python -m build → sdist + wheel; twine check PASSED; installed into a clean venv and confirmed import + engine run + bundled schema + console script + streaming, with cel-python resolved automatically. ruff + mypy clean; 137 tests green.

First publish: see PR thread — performed out-of-band with a maintainer token; tag-driven OIDC releases work once a PyPI Trusted Publisher is configured for this repo/workflow.

Prepare for distribution: rename the PyPI project to 'harel-python' (the name
'harel' is taken by an unrelated project; the import name stays 'harel'), add
classifiers/keywords/urls, and ship a py.typed marker. Move cel-python from dev
to runtime dependencies — it is imported at load time, so it was a real install
bug (a clean 'pip install' could not 'import harel'). Add a tag-triggered release
workflow that builds and publishes via PyPI Trusted Publishing (OIDC).

Verified: 'python -m build' produces an sdist + wheel that 'twine check' passes
and that installs into a clean venv and imports/runs (engine, schema, console
script, streaming) with cel-python pulled in automatically.

Closes #14.
@fruwe fruwe merged commit 4289467 into main Jun 30, 2026
1 check passed
@fruwe fruwe deleted the release-pypi branch June 30, 2026 08:00
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.

release: publish harel-python to PyPI

1 participant