Skip to content
Remove 'ready to merge' label

[MAINT] Update project infrastructure #3

Sign in to view logs

[MAINT] Update project infrastructure

[MAINT] Update project infrastructure #3

Triggered via pull request October 8, 2025 11:19
@AbleytnerAbleytner
synchronize #7
update-project-infra
Status Success
Total duration 11s
Artifacts –

remove-merge-label.yml

on: pull_request
remove_label
6s
remove_label
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
remove_label
Error: failed to remove labels: ready to merge
remove_label
failed to remove label: ready to merge: HttpError: Label does not exist