Updating README for Pyk, adding to publsihing package, resolving pack…

…aging twine error standards for PyPi to publish

.github/workflows/release.yml

@@ -374,7 +374,7 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-poetry-
       
-      - name: Build Pyk Whl
+      - name: Build Pyk
         working-directory: pyk
         run: |
           make build

README.md

@@ -375,7 +375,8 @@ For running either program in the debugger, use the main class `org.kframework.m
 
 # Installing Python Support
 
-Python tools for K can be found under [runtimeverification/pyk](https://github.com/runtimeverification/pyk).
+Python tools for K can be found under [runtimeverification/pyk](https://github.com/runtimeverification/k/tree/master/pyk).
+OR on PypI 
 
 # Troubleshooting
 Common build-time error messages:

pyk/README.md

@@ -1,4 +1,5 @@
 # pyk
+## Python tools for K 
 
 [API documentation](https://kframework.org/pyk/)
 

pyk/pyproject.toml

@@ -5,10 +5,11 @@ build-backend = "poetry.core.masonry.api"
 [tool.poetry]
 name = "pyk"
 version = "7.0.41"
-description = ""
+description = "Python Tool for K"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
 ]
+readme = "README.md"
 
 [tool.poetry.dependencies]
 python = "^3.10"