Function extract_pr_id_form_url 

pub(crate) fn extract_pr_id_form_url(url: &Url) -> Result<String>

Extracts the pull request numeric ID from a GitHub URL.

Supported forms:

• Direct PR path: .../pull/<ID> (ID may not be last segment).
• Actions run URL with ?pr=<ID> (also supports /job/<JOB_ID> variants).

Errors

• Host is not github.com.
• The PR id segment or query parameter is missing, empty, duplicated, or malformed.