Added trigger_builds input to release workflow for optional downstream image build triggers

Author: m-messer

.github/workflows/release.yml

@@ -7,13 +7,19 @@ on:
         description: "Shimmy version to release (e.g. v0.0.6). Leave blank to use the latest shimmy release."
         required: false
         type: string
+      trigger_builds:
+        description: "Also trigger image builds (python, wolfram, lean, scratch) after the release is created"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   release:
     name: Create GitHub Release
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      actions: write
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -37,3 +43,12 @@ jobs:
           tag_name: ${{ steps.shimmy.outputs.version }}
           name: "Shimmy ${{ steps.shimmy.outputs.version }}"
           generate_release_notes: true
+
+      - name: Trigger image builds
+        if: ${{ inputs.trigger_builds }}
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          for workflow in build_python.yml build_wolfram.yml build_lean.yml build_scratch.yml; do
+            gh workflow run "$workflow" --ref "${{ github.ref_name }}"
+          done