feat: add lint-args configuration input#149

GZGavinZhao wants to merge 1 commit into

leanprover:mainleanprover/lean-action:mainfrom

GZGavinZhao:gzgz/jj-vvunnulqpvnwGZGavinZhao/lean-action:gzgz/jj-vvunnulqpvnwCopy head branch name to clipboard