Updated GitHub Actions workflows to support tag-based triggers and version handling

Author: m-messer

.github/workflows/build_lean.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    tags:
+      - "v*"
     paths:
       - "lean/**"
       - ".github/workflows/build_lean.yml"
@@ -18,6 +20,10 @@ on:
         required: false
         default: false
         type: boolean
+      version:
+        description: "Version tag to apply (e.g. v0.0.1)"
+        required: false
+        type: string
   repository_dispatch:
     types: [trigger-build]
 
@@ -42,7 +48,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set up QEMU
-        if: github.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch || github.ref_type == 'tag'
         uses: docker/setup-qemu-action@v3
 
       - name: Set up Docker Buildx (QEMU)
@@ -66,6 +72,7 @@ jobs:
             type=ref,event=branch
             type=ref,event=tag
             type=ref,event=pr
+            type=raw,value=${{ inputs.version }},enable=${{ inputs.version != '' }}
             type=raw,value=${{ matrix.lean_version }},suffix=,enable={{is_default_branch}}
             type=raw,value=latest,suffix=,enable=${{ github.ref_name == github.event.repository.default_branch && matrix.lean_version == '4.7.0' }}
             type=edge,branch=main
@@ -77,7 +84,7 @@ jobs:
         with:
           context: lean
           pull: true
-          push: ${{ !(github.event_name == 'push' && github.ref_name != github.event.repository.default_branch) }}
+          push: ${{ !(github.event_name == 'push' && github.ref_type != 'tag' && github.ref_name != github.event.repository.default_branch) }}
           platforms: ${{ (github.ref_type == 'tag' || github.ref_name == github.event.repository.default_branch) && 'linux/amd64,linux/arm64' || 'linux/amd64' }}
           provenance: false
           tags: ${{ steps.meta.outputs.tags }}

.github/workflows/build_python.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    tags:
+      - "v*"
     paths:
       - "python/**"
       - ".github/workflows/build_python.yml"
@@ -18,6 +20,10 @@ on:
         required: false
         default: false
         type: boolean
+      version:
+        description: "Version tag to apply (e.g. v0.0.1)"
+        required: false
+        type: string
   repository_dispatch:
     types: [trigger-build]
 
@@ -42,7 +48,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set up QEMU
-        if: github.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch || github.ref_type == 'tag'
         uses: docker/setup-qemu-action@v3
 
       - name: Set up Docker Buildx (QEMU)
@@ -66,6 +72,7 @@ jobs:
             type=ref,event=branch
             type=ref,event=tag
             type=ref,event=pr
+            type=raw,value=${{ inputs.version }},enable=${{ inputs.version != '' }}
             type=raw,value=${{ matrix.python_version }},suffix=,enable={{is_default_branch}}
             type=raw,value=latest,suffix=,enable=${{ github.ref_name == github.event.repository.default_branch && matrix.python_version == '3.12' }}
             type=edge,branch=main
@@ -77,7 +84,7 @@ jobs:
         with:
           context: python
           pull: true
-          push: ${{ !(github.event_name == 'push' && github.ref_name != github.event.repository.default_branch) }}
+          push: ${{ !(github.event_name == 'push' && github.ref_type != 'tag' && github.ref_name != github.event.repository.default_branch) }}
           platforms: ${{ (github.ref_type == 'tag' || github.ref_name == github.event.repository.default_branch) && 'linux/amd64,linux/arm64' || 'linux/amd64' }}
           provenance: false
           tags: ${{ steps.meta.outputs.tags }}

.github/workflows/build_scratch.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    tags:
+      - "v*"
     paths:
       - "scratch/**"
       - ".github/workflows/build_scratch.yml"
@@ -18,6 +20,10 @@ on:
         required: false
         default: false
         type: boolean
+      version:
+        description: "Version tag to apply (e.g. v0.0.1)"
+        required: false
+        type: string
   repository_dispatch:
     types: [trigger-build]
 
@@ -42,7 +48,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set up QEMU
-        if: github.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch || github.ref_type == 'tag'
         uses: docker/setup-qemu-action@v3
 
       - name: Set up Docker Buildx (QEMU)
@@ -66,6 +72,7 @@ jobs:
             type=ref,event=branch
             type=ref,event=tag
             type=ref,event=pr
+            type=raw,value=${{ inputs.version }},enable=${{ inputs.version != '' }}
             type=raw,value=${{ matrix.debian_version }},suffix=,enable={{is_default_branch}}
             type=raw,value=latest,suffix=,enable=${{ github.ref_name == github.event.repository.default_branch && matrix.debian_version == 'bookworm' }}
             type=edge,branch=main
@@ -77,7 +84,7 @@ jobs:
         with:
           context: scratch
           pull: true
-          push: ${{ !(github.event_name == 'push' && github.ref_name != github.event.repository.default_branch) }}
+          push: ${{ !(github.event_name == 'push' && github.ref_type != 'tag' && github.ref_name != github.event.repository.default_branch) }}
           platforms: ${{ (github.ref_type == 'tag' || github.ref_name == github.event.repository.default_branch) && 'linux/amd64,linux/arm64' || 'linux/amd64' }}
           provenance: false
           tags: ${{ steps.meta.outputs.tags }}

.github/workflows/build_wolfram.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    tags:
+      - "v*"
     paths:
       - "wolfram/**"
       - ".github/workflows/build_wolfram.yml"
@@ -18,6 +20,10 @@ on:
         required: false
         default: false
         type: boolean
+      version:
+        description: "Version tag to apply (e.g. v0.0.1)"
+        required: false
+        type: string
   repository_dispatch:
     types: [trigger-build]
 
@@ -42,7 +48,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set up QEMU
-        if: github.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch || github.ref_type == 'tag'
         uses: docker/setup-qemu-action@v3
 
       - name: Set up Docker Buildx (QEMU)
@@ -66,6 +72,7 @@ jobs:
             type=ref,event=branch
             type=ref,event=tag
             type=ref,event=pr
+            type=raw,value=${{ inputs.version }},enable=${{ inputs.version != '' }}
             type=raw,value=${{ matrix.wolfram_version }},suffix=,enable={{is_default_branch}}
             type=raw,value=latest,suffix=,enable=${{ github.ref_name == github.event.repository.default_branch && matrix.wolfram_version == '14.1' }}
             type=edge,branch=main
@@ -77,7 +84,7 @@ jobs:
         with:
           context: wolfram
           pull: true
-          push: ${{ !(github.event_name == 'push' && github.ref_name != github.event.repository.default_branch) }}
+          push: ${{ !(github.event_name == 'push' && github.ref_type != 'tag' && github.ref_name != github.event.repository.default_branch) }}
           platforms: ${{ (github.ref_type == 'tag' || github.ref_name == github.event.repository.default_branch) && 'linux/amd64,linux/arm64' || 'linux/amd64' }}
           provenance: false
           tags: ${{ steps.meta.outputs.tags }}