diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index 6cc0d1783d..3e0b845910 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -47,6 +47,12 @@
       wc -c ${BUILD:-../../build/release}/stage2/lib/lean/libleanshared.so | cut -d' ' -f 1
     max_runs: 1
     runner: output
+- attributes:
+    description: import Lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../../src/Lean.lean
 - attributes:
     description: tests/compiler
     tags: [deterministic, slow]