Jenkins needs to know a PR exists in order to build it. There are many
reasons why this information might not reach Jenkins, e.g. GitHub might
have failed to send the webhook, or there was a network error somewhere,
or Jenkins was down at the time, or (most likely) the GitHub API rate
limit for ci.jenkins.io had been exceeded at the time.