Skip to content

fix(miner): close_pr runs unconditionally before its best-effort comment - #5494

Merged
JSONbored merged 1 commit into
mainfrom
fix/close-pr-unconditional-4848-nit
Jul 12, 2026
Merged

fix(miner): close_pr runs unconditionally before its best-effort comment#5494
JSONbored merged 1 commit into
mainfrom
fix/close-pr-unconditional-4848-nit

fix(miner): close_pr runs unconditionally before its best-effort comment

446c279
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar