Run publish-snapshot/release also for workflow_dispatch

Author: adangel

.github/workflows/publish-release.yml

@@ -21,7 +21,7 @@ jobs:
     # only run in the official pmd/pmd-designer repo, where we have access to the secrets and not on forks
     # and only run for _successful_ push workflow runs on tags.
     if: ${{ github.repository == 'pmd/designer'
-      && github.event.workflow_run.event == 'push'
+      && contains(fromJSON('["push", "workflow_dispatch"]'), github.event.workflow_run.event)
       && github.event.workflow_run.head_branch != 'main'
       && github.event.workflow_run.conclusion == 'success' }}
     runs-on: ubuntu-latest

.github/workflows/publish-snapshot.yml

@@ -19,7 +19,7 @@ jobs:
     # only run in the official pmd/pmd-designer repo, where we have access to the secrets and not on forks
     # and only run for _successful_ push workflow runs on branch "main".
     if: ${{ github.repository == 'pmd/pmd-designer'
-      && github.event.workflow_run.event == 'push'
+      && contains(fromJSON('["push", "workflow_dispatch", "schedule"]'), github.event.workflow_run.event)
       && github.event.workflow_run.head_branch == 'main'
       && github.event.workflow_run.conclusion == 'success' }}
     runs-on: ubuntu-latest