Label closed PR as merged and leave a comment

Further optimizations for event dispatching (#48426) #609

Sign in to view logs

Triggered via push January 9, 2025 11:04

rubennorte

export-D67751821

Status Skipped

Total duration 3s

Artifacts –

close-pr.yml

on: push

comment-and-label