Label closed PR as merged and leave a comment

Further optimizations for event dispatching (#48426) #603

Sign in to view logs

Triggered via push January 6, 2025 17:26

rubennorte

export-D67751821

Status Skipped

Total duration 2s

Artifacts –

close-pr.yml

on: push

comment-and-label