Label closed PR as merged and leave a comment

fix: remove unnecessary diff after upstreaming changes (#151) #13

Sign in to view logs

Triggered via push June 24, 2024 14:19

v0.73.12-visionos

Status Skipped

Total duration 2s

Artifacts –

close-pr.yml

on: push

comment-and-label