From cc91d20f1c75d5c8a582ac754e79f52bbf4c8d22 Mon Sep 17 00:00:00 2001
From: Benchmark <benchmark@php.net>
Date: Tue, 11 Nov 2025 22:10:09 +0000
Subject: [PATCH] Add result for
 php/php-src@f15c7121fb956e84ace73eaef2df9ae442d4c3c1

---
 .../summary.json                              | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 f1/f15c7121fb956e84ace73eaef2df9ae442d4c3c1/summary.json

diff --git a/f1/f15c7121fb956e84ace73eaef2df9ae442d4c3c1/summary.json b/f1/f15c7121fb956e84ace73eaef2df9ae442d4c3c1/summary.json
new file mode 100644
index 00000000..32c385f8
--- /dev/null
+++ b/f1/f15c7121fb956e84ace73eaef2df9ae442d4c3c1/summary.json
@@ -0,0 +1,21 @@
+{
+    "branch": "master",
+    "Zend\/bench.php": {
+        "instructions": "2233779490"
+    },
+    "Zend\/bench.php JIT": {
+        "instructions": "600458103"
+    },
+    "Symfony Demo 2.2.3": {
+        "instructions": "39161491"
+    },
+    "Symfony Demo 2.2.3 JIT": {
+        "instructions": "33714941"
+    },
+    "Wordpress 6.2": {
+        "instructions": "122383148"
+    },
+    "Wordpress 6.2 JIT": {
+        "instructions": "92930744"
+    }
+}