add path to build some extensions

Author: samansmink

.github/workflows/build_all.yml

@@ -8,6 +8,11 @@ on:
         type: string
       deploy:
         type: string
+      build_extensions:
+        description: "List of extensions to build, formatted as: `['ext1', 'ext2']`"
+        type: string
+        required: false
+        default: ''
 
 jobs:
   collect_extensions:
@@ -20,11 +25,20 @@ jobs:
         fetch-depth: 0
 
     - name: Generate extension list
+      if: ${{ inputs.build_extensions == ''}}
       id: generate_list
       run: |
         ./scripts/get_extension_list.sh
         cat extension_list
         cat extension_list >> $GITHUB_OUTPUT
+
+    - name: Override extension list
+      if: ${{ inputs.build_extensions != ''}}
+      id: generate_list
+      env:
+        EXTENSION_LIST: ${{inputs.build_extensions}}
+      run: |
+        echo EXTENSION_LIST=$EXTENSION_LIST >> $GITHUB_OUTPUT
       
   build_all:
     needs: