add Arm Cortex-A55 (Snapdragon 888) benchmarks (customSmallerIsBetter) benchmark result for ebed0f3

Author: github-action-benchmark

dev/bench/data.js

@@ -1,5 +1,5 @@
 window.BENCHMARK_DATA = {
-  "lastUpdate": 1769095146180,
+  "lastUpdate": 1769095275406,
   "repoUrl": "https://github.com/pq-code-package/mlkem-native",
   "entries": {
     "Arm Cortex-A72 (Raspberry Pi 4) benchmarks": [
@@ -104968,6 +104968,75 @@ window.BENCHMARK_DATA = {
             "unit": "cycles"
           }
         ]
+      },
+      {
+        "commit": {
+          "author": {
+            "email": "matthias@kannwischer.eu",
+            "name": "Matthias J. Kannwischer",
+            "username": "mkannwischer"
+          },
+          "committer": {
+            "email": "matthias@kannwischer.eu",
+            "name": "Matthias J. Kannwischer",
+            "username": "mkannwischer"
+          },
+          "distinct": true,
+          "id": "ebed0f388fb4a8a4ff99ef7c32e19ac36b0cdba3",
+          "message": "Add hol-server for programmatic HOL Light communication\n\nIntegrates hol_server (https://github.com/monadius/hol_server) to enable\nTCP-based communication with HOL Light. This allows sending commands\nprogrammatically via netcat or the VS Code extension.\n\nUsage: hol-server [port]  # default port is 2012\n\nUpdate documentation accordingly.\n\n- Ported from https://github.com/pq-code-package/mldsa-native/pull/883\n\nSigned-off-by: Matthias J. Kannwischer <matthias@kannwischer.eu>",
+          "timestamp": "2026-01-22T23:08:20+08:00",
+          "tree_id": "1204b112345ef2d36bea404c46aee5fb9a62cbf3",
+          "url": "https://github.com/pq-code-package/mlkem-native/commit/ebed0f388fb4a8a4ff99ef7c32e19ac36b0cdba3"
+        },
+        "date": 1769094779787,
+        "tool": "customSmallerIsBetter",
+        "benches": [
+          {
+            "name": "ML-KEM-512 keypair",
+            "value": 59477,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-512 encaps",
+            "value": 67251,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-512 decaps",
+            "value": 85738,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-768 keypair",
+            "value": 97018,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-768 encaps",
+            "value": 110424,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-768 decaps",
+            "value": 137136,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-1024 keypair",
+            "value": 154167,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-1024 encaps",
+            "value": 170457,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-1024 decaps",
+            "value": 206792,
+            "unit": "cycles"
+          }
+        ]
       }
     ],
     "Arm Cortex-A76 (Raspberry Pi 5) benchmarks": [