From dd5b97a8f2a1d68a5ac47f98f929ab73b86745a9 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Thu, 9 Jul 2026 16:30:25 -0400
Subject: [PATCH] Test `!benchmark` comment

---
 lakefile.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.lean b/lakefile.lean
index 2b99b20ce..c0af34b08 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -1,3 +1,4 @@
+-- Test commit
 import Lake
 open System Lake DSL