Revert "TMP: Add push to run workflow"

This reverts commit 420782e.

Author: will-v-pi

.github/workflows/genExamples.yml

@@ -1,13 +1,12 @@
 name: Update examples.json
 
 on:
-  # workflow_dispatch:
-  #   inputs:
-  #     develop:
-  #       description: "Test with develop branch"
-  #       required: false
-  #       type: boolean
-  push:
+  workflow_dispatch:
+    inputs:
+      develop:
+        description: "Test with develop branch"
+        required: false
+        type: boolean
 
 jobs:
   build:
@@ -24,8 +23,8 @@ jobs:
           path: ~/.pico-sdk
           key: pico-sdk-${{ hashFiles('scripts/genExamples.py') }}
       - name: Run genExamples.py
-        # env:
-        #   SDK_VERSION: ${{ inputs.develop && '2-develop' || '' }}
+        env:
+          SDK_VERSION: ${{ inputs.develop && '2-develop' || '' }}
         run: |
           python scripts/genExamples.py
       - name: List errors