hopefully fixed pipy dist error

Author: thomasWeise

.github/workflows/build.yaml

@@ -45,7 +45,7 @@ jobs:
     - name: publish to pypi
       if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
       run: |
-        python3 -m twine upload dist/*
+        python3 -m twine upload dist/*.tar.gz dist/*.whl
       env:
         TWINE_USERNAME: __token__
         TWINE_PASSWORD: ${{ secrets.TWINE_TOKEN }}

moptipy/version.py

@@ -1,4 +1,4 @@
 """An internal file with the version of the moptipy package."""
 from typing import Final
 
-__version__: Final[str] = "0.9.3"
+__version__: Final[str] = "0.9.4"