We could continue the work of #374 to use the doc building only on PR merging into develop, using workflow_run, as documented in this SO page
workflow_run