Update real-time benchmark config

- Do not run micro_bench.php by default (it would take a very long time to get accurate results)
- Measure instruction count by default during the scheduled runs

.github/workflows/real-time-benchmark.yml

@@ -42,6 +42,14 @@ on:
           - "0"
           - "1"
           - "2"
+      run_micro_bench:
+        description: 'Whether to run the micro_bench.php test'
+        required: true
+        default: "0"
+        type: choice
+        options:
+          - "0"
+          - "1"
 permissions:
   contents: read
   pull-requests: write
@@ -62,7 +70,8 @@ jobs:
       OPCACHE: ${{ inputs.opcache || '1' }}
       BASELINE_OPCACHE: ${{ inputs.baseline_opcache || '2' }}
       JIT: ${{ inputs.jit || '1' }}
-      INSTRUCTION_COUNT: ${{ inputs.instruction_count || '0' }}
+      INSTRUCTION_COUNT: ${{ inputs.instruction_count || '1' }}
+      RUN_MICRO_BENCH: ${{ inputs.run_micro_bench || '0' }}
       YEAR: ""
     steps:
       - name: Setup benchmark environment
@@ -250,7 +259,10 @@ jobs:
           cp ./php-version-benchmarks/config/test/2_symfony_main.ini.dist ./php-version-benchmarks/config/test/2_symfony_main.ini
           cp ./php-version-benchmarks/config/test/4_wordpress.ini.dist ./php-version-benchmarks/config/test/4_wordpress.ini
           cp ./php-version-benchmarks/config/test/5_bench.php.ini.dist ./php-version-benchmarks/config/test/5_bench.php.ini
-          cp ./php-version-benchmarks/config/test/6_micro_bench.php.ini.dist ./php-version-benchmarks/config/test/6_micro_bench.php.ini
+
+          if [ "${{ env.RUN_MICRO_BENCH }}" -eq "1" ]; then
+            cp ./php-version-benchmarks/config/test/6_micro_bench.php.ini.dist ./php-version-benchmarks/config/test/6_micro_bench.php.ini
+          fi
       - name: Run benchmark
         run: ./php-version-benchmarks/benchmark.sh run aws
       - name: Store results