workflows/{merge-group,pr}: improve "no PR failures" handling#435929

Merged

wolfgangwalther merged 3 commits into

NixOS:masterfrom

wolfgangwalther:ci-pr-failures

Aug 24, 2025

Commits on Aug 24, 2025

workflows/{merge-group,pr}: post "no PR failures" status manually
wolfgangwalther
committed
workflows/{merge-group,pr}: avoid posting "no PR failures" for pull_request trigger
wolfgangwalther
committed
workflows/check: allow owners to fail when ci/OWNERS is untouched
wolfgangwalther
committed