Repository navigation

Report failed pull request runs, and state that a failed post reaches nobody - #14

Merged

GavinLucas merged 2 commits into

mainfrom

report-pull-request-failures

Oct 9, 2026

Merged

Report failed pull request runs, and state that a failed post reaches nobody#14
GavinLucas merged 2 commits into
mainfrom
report-pull-request-failures

Commits on Oct 9, 2026
- Report failed pull request runs, and state that a failed post reaches nobody
  GavinLucas
  committed
  de52f7c
- Do not post failed pull request runs from forks
  GavinLucas
  committed
  8fb9b45