Trigger Javadocs update on release #876
Description
Relevant sub-area for this feature?
Build process
Feature description
Trigger processing4-javadocs/.github/workflows/build-and-deploy-javadoc.yml on releases.
Benefits
Remove the need for a cron job and only update the Javadocs when necessary.
Possible challenges
No response
Additional context
No response