Skip to content

Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName #31683

Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName

Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName #31683

Triggered via pull request July 16, 2025 13:03
Status Success
Total duration 12m 42s
Artifacts

pull-compliance.yml

on: pull_request
Fit to window
Zoom out
Zoom in