Skip LLM review wait for PRs without .lean files - #30

Skip LLM review wait for PRs without .lean files#30

justincasher merged 1 commit into

mainLeanPool/lean-pool:mainfrom

justin/llm-review-skip-non-lean-prsLeanPool/lean-pool:justin/llm-review-skip-non-lean-prsCopy head branch name to clipboard