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