Delete merged branch of the backport PRs

[Fix] Added documentation link for the dev tools' help menu #2038

Sign in to view logs

Triggered via pull request October 14, 2023 23:57

joshuarrrr

closed #5166

willie-hung:main

Status Skipped

Total duration 2s

Artifacts –

delete_backport_branch.yml

on: pull_request