Delete merged branch of the backport PRs

[Backport 1.3] Add auto github release workflow #388

Sign in to view logs

Triggered via pull request July 28, 2023 12:13

closed #828

backport/backport-691-to-1.3

Status Success

Total duration 14s

Artifacts –

delete_backport_branch.yml

on: pull_request