From 46f79e23805bb29ccf09745f3bad16ee39382de8 Mon Sep 17 00:00:00 2001
From: Benchmark <benchmark@php.net>
Date: Tue, 27 Jun 2023 09:17:08 +0000
Subject: [PATCH] Add result for
 php/php-src@1358b435c635aef25e791da7b2c1c8015df64220

---
 .../summary.json                              | 20 +++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 13/1358b435c635aef25e791da7b2c1c8015df64220/summary.json

diff --git a/13/1358b435c635aef25e791da7b2c1c8015df64220/summary.json b/13/1358b435c635aef25e791da7b2c1c8015df64220/summary.json
new file mode 100644
index 00000000..3ae60961
--- /dev/null
+++ b/13/1358b435c635aef25e791da7b2c1c8015df64220/summary.json
@@ -0,0 +1,20 @@
+{
+    "Zend\/bench.php": {
+        "instructions": "2240166238"
+    },
+    "Zend\/bench.php JIT": {
+        "instructions": "606253263"
+    },
+    "Symfony Demo 2.2.3": {
+        "instructions": "40832615"
+    },
+    "Symfony Demo 2.2.3 JIT": {
+        "instructions": "35622225"
+    },
+    "Wordpress 6.2": {
+        "instructions": "124660309"
+    },
+    "Wordpress 6.2 JIT": {
+        "instructions": "94650999"
+    }
+}