chore: build all of Mathlib in Mathlib tests in case cache is not pre…

…sent

test/Mathlib/test.sh

@@ -5,7 +5,7 @@ IN_DIR="test"
 EXPECTED_DIR="test"
 
 lake exe cache get > /dev/null
-lake build
+lake build Mathlib
 
 # Iterate over each .in file in the test directory
 for infile in $IN_DIR/*.in; do