feat: add leanchecker-args input#162

kim-em wants to merge 1 commit into

leanprover:mainleanprover/lean-action:mainfrom

kim-em:leanchecker-argskim-em/lean-action:leanchecker-argsCopy head branch name to clipboard