Add publish step

runtimeverification · Oct 13, 2023 · 9e181b5 · 9e181b5
1 parent 3654923
commit 9e181b5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -68,4 +68,5 @@ jobs:
           cd ./test-project
           poetry build
 
-          
+      - name: Publish package distributions to PyPI
+        uses: pypa/gh-action-pypi-publish@release/v1