Label closed PR as merged and leave a comment

Update Xcode 15 patches to be more robust (#39710) #153

Sign in to view logs

Triggered via push October 9, 2023 01:58

yayvery

0.72.5-discord

Status Skipped

Total duration 2s

Artifacts –

close_pr.yml

on: push

comment-and-label