Skip to content

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

Merged
justincasher merged 1 commit into
mainfrom
justin/llm-review-skip-non-lean-prs
May 10, 2026
Merged

Skip LLM review wait for PRs without .lean files#30
justincasher merged 1 commit into
mainfrom
justin/llm-review-skip-non-lean-prs

Skip LLM review wait for PRs without .lean files

cd1971b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar