pypi setup. bump to 0.1.4a1

philzook58 · philzook58 · commit 8d2f005f15f0 · 2025-11-16T14:12:32.000-05:00
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -1,5 +1,5 @@
 name: Publish Python 🐍 distribution 📦 to PyPI and TestPyPI
-
+# https://packaging.python.org/en/latest/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/
 on: push
 
 jobs:
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "knuckledragger"
-version = "0.1.3"
+version = "0.1.4a1"
 authors = [{ name = "Philip Zucker", email = "philzuckerblog@gmail.com" }]
 description = "Interactive Theorem Prover"
 readme = "README.md"
diff --git a/uv.lock b/uv.lock
