AI-Planning / pddl

Unquestionable PDDL 3.1 parser

Home Page:https://ai-planning.github.io/pddl/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

  1. Head to pypi.org
  2. Click on "Manage" for the pddl project
  3. Click on "Settings"
  4. Click "Create a token for pddl"
  5. Copy what's there (once you close that site, you can't get it back)
  6. Head over [here]
  7. 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!