debugging github actions

dwrensha · Sep 14, 2023 · dcfdb41 · dcfdb41
1 parent cdb1f02
commit dcfdb41
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/buildWebpage.lean b/scripts/buildWebpage.lean
@@ -81,6 +81,7 @@ def matchProblemSetup (stx: Syntax) : CoreM (String.Pos × String.Pos) := do
 
 
 unsafe def main (_args : List String) : IO Unit := do
+  IO.println "hello world"
   IO.FS.createDirAll "_site"
   IO.FS.createDirAll "_site/problems"