Label PRs

Feedback on /docs/tools/generator - Thu, 01 Jun 2023 21:10:38 GMT #1792

Sign in to view logs

Triggered via issue October 25, 2023 11:03

derberg

commented on #998 3dc4e9e

Status Skipped

Total duration 4s

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