Delete merged branch of the backport PRs

[Backport workspace]Patch/first pr (#194) #187

Sign in to view logs

Triggered via pull request October 9, 2023 06:10

SuZhou-Joe

closed #196

SuZhou-Joe:backport/backport-194-to-workspace

Status Success

Total duration 2m 49s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

delete_backport_branch.yml

on: pull_request