Warning
This workflow is deprecated, and publishes documentation to the old developer portal. For the new developer portal, write your documentation directly in the developer-portal repository.
Reusable workflow for publishing developer documentation.