Publish docs on push

[bestbeforetoday]

The documentation is not being republished when new changes are pushed to the repository. This means the API can become out of step with the current codebase.

Documentation publishing used to happen with this job in the Azure Pipelines build. The use of the GitHub Actions deploy-pages action (as used in the fabric-gateway build) might be a good approach to use.