Label closed PR as merged and leave a comment

Fix Differentiator comment format (#42929) #1476

Sign in to view logs

Triggered via push February 8, 2024 18:35

mdvacca

export-D53546235

Status Skipped

Total duration 1s

Artifacts –

close_pr.yml

on: push

comment-and-label