Label closed PR as merged and leave a comment

Further optimizations for event dispatching (#48426) #572

Sign in to view logs

Triggered via push January 3, 2025 18:54

rubennorte

export-D67751821

Status Skipped

Total duration 3s

Artifacts –

close-pr.yml

on: push

comment-and-label