Skip to content

Judge the whole PR on every push, not just the newest commit - #83

Merged
mk7luke merged 1 commit into
mainfrom
fix/pr-diff-refresh
Aug 2, 2026
Merged

Judge the whole PR on every push, not just the newest commit#83
mk7luke merged 1 commit into
mainfrom
fix/pr-diff-refresh

Commits

Commits on Aug 2, 2026