Auto-label PRs #3840
Triggered via pull request review
October 31, 2023 20:30
bennypowers
submitted
3634aad
Status
Success
Total duration
12s
Artifacts
–
merge-label.yml
on: pull_request_review
Label a PR's merge status
3s