Delete merged branch of the backport PRs

[navigation] Remove nav group for dev tools #3842

Sign in to view logs

Triggered via pull request September 19, 2024 08:04

SuZhou-Joe

closed #8218

Hailong-am:devtool

Status Skipped

Total duration 3s

Artifacts –

delete_backport_branch.yml

on: pull_request