David Lechner 73cc441edb github: add release action ...

This publishes the Python package to PyPI when a release is created on
GitHub.

2021-05-17 16:42:16 -05:00

..

build.yml

github: fix build action name

2021-05-17 16:38:58 -05:00

publish-ide-docs.yml

github: add workflow for publishing ide-docs package

2021-01-26 08:30:48 +01:00

release-to-pypi.yml

github: add release action

2021-05-17 16:42:16 -05:00