rename lean4checker input to leanchecker#156

kim-em merged 1 commit into

mainleanprover/lean-action:mainfrom

kim/rename-leanchecker-inputleanprover/lean-action:kim/rename-leanchecker-inputCopy head branch name to clipboard