Publish documentation on pushes to master #675
Description
It'd be useful to keep the documentation up to date by publishing it on every push to the master branch in a GitHub Action.
{{ message }}
It'd be useful to keep the documentation up to date by publishing it on every push to the master branch in a GitHub Action.