fix: Set test-args input correctly and improve functional tests#153

samuelburnham wants to merge 2 commits into

leanprover:mainleanprover/lean-action:mainfrom

argumentcomputer:test-argsargumentcomputer/lean-action:test-argsCopy head branch name to clipboard