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."
@@ -22,13 +23,12 @@ jobs:
22
23
shell: pwsh
23
24
- name: Label based on PublicApi.Unshipped.txt
24
25
run: |
25
-
# Determine the appropriate label (Sync these labels with release-drafter.yml)
26
-
if ("${{ github.ref }}" -eq "action/ship-publicapi") { # Same branch name specified in Release.yml
26
+
if ("${{ github.head_ref }}" -eq "action/ship-publicapi") {
27
27
$labels = @('Type/Housekeeping')
28
28
Write-Output "This is a ship-publicapi PR, labeling as Type/Maintenance"
0 commit comments