fix: use lake test if test.sh is missing from lean4checker#160

austinletson merged 1 commit into

mainleanprover/lean-action:mainfrom

lean4checker-4-27-lake-test-fixleanprover/lean-action:lean4checker-4-27-lake-test-fixCopy head branch name to clipboard