enable workflow dispatch on github actions

Author: hturner

.github/workflows/build-and-publish-image.yml

@@ -23,7 +23,9 @@ env:
 
 jobs:
   build-and-push-image:
-    if: ${{github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true}}
+    if:  |
+      github.event_name == 'workflow_dispatch' ||
+      (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
     runs-on: ubuntu-latest
     permissions:
       contents: read

.github/workflows/build-gitpod-image.yml

@@ -24,7 +24,9 @@ env:
 
 jobs:
   build-and-push-image:
-    if: ${{github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true}}
+    if:  |
+      github.event_name == 'workflow_dispatch' ||
+      (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
     runs-on: ubuntu-latest
     permissions:
       contents: read

.github/workflows/optimize-docs-images.yml

@@ -1,6 +1,7 @@
 name: Optimize Docs Images
 
 on:
+  workflow_dispatch:
   pull_request:
     branches: ["main","devel"]
     types: [closed]
@@ -9,7 +10,9 @@ on:
 
 jobs:
   optimize-images:
-    if: ${{github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true}}
+    if:  |
+      github.event_name == 'workflow_dispatch' ||
+      (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
     runs-on: ubuntu-latest
 
     steps: