fix(tooling): a merged PR is not green, and a skipped shim does not supersede a failure - #16045

fix(tooling): a merged PR is not green, and a skipped shim does not supersede a failure#16045

mrveiss wants to merge 1 commit into

Dev_new_guimrveiss/AutoBot-AI:Dev_new_guifrom

issue-16025-gate-blindspotsmrveiss/AutoBot-AI:issue-16025-gate-blindspotsCopy head branch name to clipboard