GITHUB_PR_ID_QUERY_KEY

Constant GITHUB_PR_ID_QUERY_KEY 

Source
pub(crate) const GITHUB_PR_ID_QUERY_KEY: &str = "pr";
Expand description

The query parameter key used for pull request IDs in GitHub Actions URLs.