test: add wrong test to validate ci action

BRonen · BRonen · commit 7c8aecee431a · 2025-02-22T12:39:48.000-03:00
diff --git a/Tests/Sqlite.lean b/Tests/Sqlite.lean
@@ -3,7 +3,7 @@ import LSpec
 open LSpec
 
 def fourIO : IO Nat :=
-  pure 4
+  pure 5
 
 def fiveIO : IO Nat :=
   pure 5
