fixup

samuelburnham · samuelburnham · commit 69faa9c856fc · 2026-03-09T22:55:59.000-04:00
diff --git a/.github/functional_tests/lake_build_args/action.yml b/.github/functional_tests/lake_build_args/action.yml
@@ -22,7 +22,7 @@ runs:
         {
           echo ""
           echo "@[default_target]"
-          echo "lean_exe warningExe"
+          echo "lean_exe WarningExe"
         } >> lakefile.lean
         {
           echo "#eval (do"
