test: add functional test for lean4checker in subdirectory#138

austinletson wants to merge 1 commit intomainleanprover/lean-action:mainfrom

leanrchecker-in-subdirleanprover/lean-action:leanrchecker-in-subdirCopy head branch name to clipboard