David Lechner 7770a88aa0 github: fix build action name ...

It does more than just build the Python package.

2021-05-17 16:38:58 -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