Skip to content

fix(reporting): a failing PR-comment call can no longer red a gate that already decided - #169

Merged
topcoder1 merged 1 commit into
mainfrom
claude/admiring-sammet-ef6796
Aug 20, 2026
Merged

fix(reporting): a failing PR-comment call can no longer red a gate that already decided#169
topcoder1 merged 1 commit into
mainfrom
claude/admiring-sammet-ef6796

fix(reporting): a post-decision comment failure can no longer red a gate

d75f193
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar