Automatic Pull Request Labeling

Set labels - PR #761 ("docs: Developer-Guide_Build-Switches: Fix wrong variable name") #130

Sign in to view logs

Triggered via pull request June 13, 2025 17:22

Ayush1325

synchronize #761

Status Success

Total duration 9s

Artifacts –

pr-auto-labeler.yml

on: pull_request_target

Remove Ready to merge

Category labels

Annotations

1 error and 1 warning

Remove Ready to merge

Error: failed to remove labels: Ready to merge

Remove Ready to merge

failed to remove label: Ready to merge: HttpError: Label does not exist - https://docs.github.com/rest/issues/labels#remove-a-label-from-an-issue