You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Write-Error "Changes detected in PublicApi.Shipped.txt files. Public API changes must be shipped through the release process, not in regular pull requests."
@@ -24,7 +24,7 @@ jobs:
24
24
git fetch origin ${{ github.base_ref }}
25
25
26
26
# Determine the appropriate label (Sync these labels with release-drafter.yml)
27
-
if ("${{ github.head_ref }}" -eq "action/ship-publicapi") { # Same branch name specified in Release.yml
27
+
if ("${{ github.ref }}" -eq "action/ship-publicapi") { # Same branch name specified in Release.yml
28
28
$labels = @('Type/Housekeeping')
29
29
Write-Output "This is a ship-publicapi PR, labeling as Type/Maintenance"
0 commit comments