From 96990f451d45572ab0fd7ae1d8189103ffe419fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?M=C3=A1t=C3=A9=20Kocsis?= Date: Tue, 19 Aug 2025 07:49:08 +0200 Subject: [PATCH] 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 | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/.github/workflows/real-time-benchmark.yml b/.github/workflows/real-time-benchmark.yml index 65819cd518e..dd7e79cca48 100644 --- a/.github/workflows/real-time-benchmark.yml +++ b/.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