Describe the bug
The CI to update the documentation website is not triggering succeeding (example) when a PR is merged into master. When this is fixed, #39 should also be fixed, since that documentation generation will likely go in the same workflow.
Expected behavior
The documentation website should be updated when a PR is merged to master. The API documentation should also appear.
Describe the bug
The CI to update the documentation website is not
triggeringsucceeding (example) when a PR is merged intomaster. When this is fixed, #39 should also be fixed, since that documentation generation will likely go in the same workflow.Expected behavior
The documentation website should be updated when a PR is merged to
master. The API documentation should also appear.