Skip to content

Commit 2254c80

Browse files
committed
Revert "ci: auto-create correctness label if it does not exist"
This reverts commit e5bed81.
1 parent e5bed81 commit 2254c80

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

.github/workflows/correctness-label.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,6 @@ jobs:
4343
found { print }
4444
')
4545
if printf '%s' "$section" | grep -qE -- '- \[[xX]\] Yes'; then
46-
gh label create "correctness" --repo "$REPO" --color "e11d48" 2>/dev/null || true
4746
gh pr edit "$PR_NUMBER" --repo "$REPO" --add-label "correctness"
4847
else
4948
gh pr edit "$PR_NUMBER" --repo "$REPO" --remove-label "correctness" 2>/dev/null || true

0 commit comments

Comments
 (0)