From 81fe5243d33584692c3d2fb51df82f9b73ab9d5a Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 25 Jul 2025 16:21:38 +0200
Subject: [PATCH] chore: add grind tests as benchmarks (#9537)

---
 tests/bench/speedcenter.exec.velcom.yaml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index 4efdcfd8c2..ed27046d87 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -568,3 +568,21 @@
     parse_output: true
   build_config:
     cmd: ./compile.sh phashmap.lean
+- attributes:
+    description: grind_bitvec2.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_bitvec2.lean
+- attributes:
+    description: grind_list2.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_list2.lean
+- attributes:
+    description: grind_ring_5.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_ring_5.lean