feat: Enhance GitHub workflows with manual triggers and improved image building logic

- Added `workflow_dispatch` support to `docker-publish.yml` and `execution-env-publish.yml` for manual execution.
- Introduced input option `build_all` in `execution-env-publish.yml` to force build all images.
- Updated logic in `execution-env-publish.yml` to determine target languages based on workflow events and changes to the workflow file.

Author: usnavy13

.github/workflows/docker-publish.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches: ["main", "dev"]
     tags: ["v*.*.*"]
+  workflow_dispatch:
 
 env:
   REGISTRY: ghcr.io

.github/workflows/execution-env-publish.yml

@@ -5,16 +5,24 @@ on:
     branches: ["main", "dev"]
     paths:
       - "docker/**"
+      - ".github/workflows/execution-env-publish.yml"
+  workflow_dispatch:
+    inputs:
+      build_all:
+        description: 'Force build all images'
+        type: boolean
+        default: false
 
 env:
   REGISTRY: ghcr.io
   IMAGE_BASE: ${{ github.repository }}
+  ALL_LANGUAGES: '["python", "nodejs", "go", "java", "c-cpp", "php", "rust", "fortran", "r", "d"]'
 
 jobs:
   filter:
     runs-on: ubuntu-latest
     outputs:
-      changes: ${{ steps.changes.outputs.changes }}
+      changes: ${{ steps.determine-targets.outputs.languages }}
     steps:
       - uses: actions/checkout@v4
       - uses: dorny/paths-filter@v3
@@ -44,6 +52,18 @@ jobs:
             d:
               - 'docker/d.Dockerfile'
 
+      - name: Determine targets
+        id: determine-targets
+        run: |
+          if [ "${{ github.event_name }}" == "workflow_dispatch" ] && [ "${{ github.event.inputs.build_all }}" == "true" ]; then
+            echo "languages=${{ env.ALL_LANGUAGES }}" >> $GITHUB_OUTPUT
+          elif [ "${{ github.event_name }}" == "push" ] && echo "${{ github.event.head_commit.modified }}" | grep -q ".github/workflows/execution-env-publish.yml"; then
+            # If workflow itself changed, build everything
+            echo "languages=${{ env.ALL_LANGUAGES }}" >> $GITHUB_OUTPUT
+          else
+            echo "languages=${{ steps.changes.outputs.changes }}" >> $GITHUB_OUTPUT
+          fi
+
   build-images:
     needs: filter
     if: ${{ needs.filter.outputs.changes != '[]' && needs.filter.outputs.changes != '' }}