Label closed PR as merged and leave a comment

Further optimizations for event dispatching (#48426) #582

Sign in to view logs

Triggered via push January 4, 2025 18:19

rubennorte

export-D67751821

Status Skipped

Total duration 2s

Artifacts –

close-pr.yml

on: push

comment-and-label