Label PRs

ci: update of files from global .github repo #3117

Sign in to view logs

Triggered via issue November 24, 2024 15:03

coveralls

commented on #428 6b4b3b9

Status Skipped

Total duration 6s

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