Label closed PR as merged and leave a comment

Further optimizations for event dispatching (#48426) #624

Sign in to view logs

Triggered via push January 13, 2025 17:30

rubennorte

export-D67751821

Status Skipped

Total duration 2s

Artifacts –

close-pr.yml

on: push

comment-and-label