Fix CI

GBathie · GBathie · commit 5570b011c374 · 2026-06-05T16:27:51.000+02:00
diff --git a/Main.lean b/Main.lean
@@ -1,4 +1,4 @@
 import BoltLean
 
 def main : IO Unit :=
-  IO.println s!"Hello, {hello}!"
+  IO.println s!"Hello, BoltLean!"
