Label closed PR as merged and leave a comment

Fix lint errors #148

Sign in to view logs

Triggered via push July 26, 2024 23:39

amgleitman

cherry-pick-updates-from-0.73

Status Skipped

Total duration 3s

Artifacts –

close_pr.yml

on: push

comment-and-label