Skip to content

Reject GitHub PR effects after cancellation - #151

Merged
dispatch-developer[bot] merged 1 commit into
mainfrom
fix/issue-150-cancelled-pr-effects
Aug 20, 2026
Merged

Reject GitHub PR effects after cancellation#151
dispatch-developer[bot] merged 1 commit into
mainfrom
fix/issue-150-cancelled-pr-effects

Fix PR effect authorization after cancellation

dc0618e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
CodeQL
succeeded Aug 20, 2026 in 1m 13s