Pypi integration
haz opened this issue · comments
Is your feature request related to a problem? Please describe.
Upon GitHub release, a new version should be pushed to pypi.
Describe the solution you'd like
GitHub actions. Usual template.
Describe alternatives you've considered
Manually doing this. It's a pain.
@marcofavorito @francescofuggitti : This is in place, save one final element.
- Head to pypi.org
- Click on "Manage" for the
pddl
project - Click on "Settings"
- Click "Create a token for pddl"
- Copy what's there (once you close that site, you can't get it back)
- Head over [here]
- Add the token copied in step 5 to the "Repository secrets" as
PYPI_API_TOKEN
Once that's done, this workflow will auto-publish new versions to pypi whenever a new release is created. Just need to be sure to update this file before making the release.
Thank you Christian!