Skip to content
Automatically cherry-pick merged PR to different branches

[MINOR] docs: Remove outdated tips from web-ui.md #3041

Sign in to view logs

[MINOR] docs: Remove outdated tips from web-ui.md

[MINOR] docs: Remove outdated tips from web-ui.md #3041

Triggered via pull request February 18, 2025 09:32
@jerqijerqi
closed #6472
Status Skipped
Total duration 4s
Artifacts –

auto-cherry-pick.yml

on: pull_request_target
Cherry pick into branch_0.7
0s
Cherry pick into branch_0.7
Cherry pick into branch_0.8
0s
Cherry pick into branch_0.8
Fit to window
Zoom out
Zoom in