chore: move the submission pipeline out to lean-eval-submissions#278

kim-em merged 1 commit into

mainleanprover/lean-eval:mainfrom

split/move-submission-pipeline-outleanprover/lean-eval:split/move-submission-pipeline-outCopy head branch name to clipboard