[Backport release-25.05] workflows/{merge-group,pr}: improve "no PR failures" handling#436551

Merged

wolfgangwalther merged 3 commits into

release-25.05from

backport-435929-to-release-25.05

Aug 24, 2025

Commits on Aug 24, 2025

workflows/{merge-group,pr}: post "no PR failures" status manually

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/{merge-group,pr}: avoid posting "no PR failures" for pull_request trigger

wolfgangwalther
authored and
github-actions[bot]
committed
workflows/check: allow owners to fail when ci/OWNERS is untouched

wolfgangwalther
authored and
github-actions[bot]
committed