add profile (#88)

paritytech · Oct 31, 2024 · ea7371b · ea7371b
1 parent c59ee05
commit ea7371b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
@@ -37,6 +37,10 @@ on:
       build_opts:
         description: The build options to be used to build runtime (can be left empty)
         required: false
+      profile:
+        description: The profile to be used for the runtime build
+        default: release
+        required: false
 
 jobs:
   build:
@@ -60,6 +64,7 @@ jobs:
           image: ${{ github.event.inputs.srtool_image }}
           tag: ${{ github.event.inputs.srtool_tag }}
           runtime_dir: ${{ github.event.inputs.runtime_dir }}
+          profile: ${{ github.event.inputs.profile }}
 
       - name: Summary
         run: |