.github: add name parameter to dispatch build

Signed-off-by: Richard Alpe <richard@bit42.se>

Author: rical

.github/workflows/build.yml

@@ -15,6 +15,10 @@ on:
         description: 'Massive parallel build of each image'
         default: true
         type: boolean
+      name:
+        description: "Name (for spin overrides)"
+        default: "infix"
+        type: string
       infix_repo:
         description: 'Repo to checkout (for spin overrides)'
         default: kernelkit/infix
@@ -43,13 +47,14 @@ on:
         default: false
 
 env:
+  NAME: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.name || inputs.name }}
   TARGET: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.target || inputs.target }}
   FLV: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.flavor || inputs.flavor }}
   INFIX_REPO: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.infix_repo || inputs.infix_repo }}
 
 jobs:
   build:
-    name: Build ${{ inputs.name }} ${{ env.TARGET }}
+    name: Build ${{ env.NAME }} ${{ env.TARGET }}
     runs-on: [ self-hosted, latest ]
     strategy:
       fail-fast: false
@@ -87,7 +92,7 @@ jobs:
           fi
 
           target=${{ env.TARGET }}
-          name=${{ inputs.name }}
+          name=${{ env.NAME }}
           echo "dir=${name}-${target}"        >> $GITHUB_OUTPUT
           echo "tgz=${name}-${target}.tar.gz" >> $GITHUB_OUTPUT
           echo "flv=$FLV"              >> $GITHUB_OUTPUT