oops

leanprover · Nov 16, 2023 · cdf4889 · cdf4889
1 parent ad283d5
commit cdf4889
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test.sh b/test.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+lake build
+
 check_command() {
     local cmd="$1"
     local expected="$2"