Abort watchpr when a poll can no longer see the PR #12

Merged

benvin merged 2 commits from benvin/watchpr-terminal-errors into main

2026-09-09 23:13:17 +10:00

Author	SHA1	Message	Date
unkin-agent	d04c5aa58d	Scope watchpr's terminal 404 to the PR lookup ci/woodpecker/pr/build Pipeline was successful Details ci/woodpecker/pr/test Pipeline was successful Details ci/woodpecker/pr/pre-commit Pipeline was successful Details Only a 404 from GetPR means the PR is gone. A 404 from any other call can be a proxy or ingress blip, so it now warns and counts against the consecutive-failure cap instead of killing the watch on first sight.	2026-09-09 22:55:56 +10:00
unkin-agent	46dfe48adc	Abort watchpr when a poll can no longer see the PR ci/woodpecker/pr/build Pipeline was successful Details ci/woodpecker/pr/test Pipeline was successful Details ci/woodpecker/pr/pre-commit Pipeline was successful Details - treat a mid-run 404 on a tracked PR as terminal - cap consecutive transient poll failures at 20 per PR - reset the failure count on a successful poll - export IsNotFound for callers to classify the abort	2026-09-09 22:41:27 +10:00