feat: add parallel reusable workflow for faster CI#144

kim-em wants to merge 1 commit intomainleanprover/lean-action:mainfrom

feat/parallel-workflowleanprover/lean-action:feat/parallel-workflowCopy head branch name to clipboard