From 2d1c7e62dff9e989a15b9821f96e245a9b143e1d Mon Sep 17 00:00:00 2001
From: Benchmark <benchmark@php.net>
Date: Tue, 29 Jul 2025 14:27:22 +0000
Subject: [PATCH] Add result for
 php/php-src@712508fdb269b865ee31d6e4822cd6a20cbf0eeb

---
 .../summary.json                              | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 71/712508fdb269b865ee31d6e4822cd6a20cbf0eeb/summary.json

diff --git a/71/712508fdb269b865ee31d6e4822cd6a20cbf0eeb/summary.json b/71/712508fdb269b865ee31d6e4822cd6a20cbf0eeb/summary.json
new file mode 100644
index 00000000..9ae19065
--- /dev/null
+++ b/71/712508fdb269b865ee31d6e4822cd6a20cbf0eeb/summary.json
@@ -0,0 +1,21 @@
+{
+    "branch": "master",
+    "Zend\/bench.php": {
+        "instructions": "2233683687"
+    },
+    "Zend\/bench.php JIT": {
+        "instructions": "600319456"
+    },
+    "Symfony Demo 2.2.3": {
+        "instructions": "39029925"
+    },
+    "Symfony Demo 2.2.3 JIT": {
+        "instructions": "33647944"
+    },
+    "Wordpress 6.2": {
+        "instructions": "122383240"
+    },
+    "Wordpress 6.2 JIT": {
+        "instructions": "93146140"
+    }
+}