Label PRs

Remove double tooltips for sidebar menu #6001

Sign in to view logs

Triggered via issue January 9, 2025 11:15

Shurtu-gal

commented on #1101 b696d79

Status Skipped

Total duration 5s

Artifacts –

automerge-for-humans-add-ready-to-merge-or-do-not-merge-label.yml

on: issue_comment

add-ready-to-merge-label

add-do-not-merge-label

add-autoupdate-label