From edad7870f1f92d7239a76c455a8aa59f31b5506f Mon Sep 17 00:00:00 2001
From: Benchmark <benchmark@php.net>
Date: Wed, 23 Jul 2025 10:10:22 +0000
Subject: [PATCH] Add result for
 php/php-src@719419a6e5fe35375a8820c2bc2da115b827aac5

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

diff --git a/71/719419a6e5fe35375a8820c2bc2da115b827aac5/summary.json b/71/719419a6e5fe35375a8820c2bc2da115b827aac5/summary.json
new file mode 100644
index 00000000..9a083ca9
--- /dev/null
+++ b/71/719419a6e5fe35375a8820c2bc2da115b827aac5/summary.json
@@ -0,0 +1,21 @@
+{
+    "branch": "master",
+    "Zend\/bench.php": {
+        "instructions": "2233762105"
+    },
+    "Zend\/bench.php JIT": {
+        "instructions": "601729926"
+    },
+    "Symfony Demo 2.2.3": {
+        "instructions": "39048653"
+    },
+    "Symfony Demo 2.2.3 JIT": {
+        "instructions": "33654820"
+    },
+    "Wordpress 6.2": {
+        "instructions": "122396056"
+    },
+    "Wordpress 6.2 JIT": {
+        "instructions": "93308377"
+    }
+}