Skip to content

[fix]: remove unnecessary filtering in menu-item #34316

[fix]: remove unnecessary filtering in menu-item

[fix]: remove unnecessary filtering in menu-item #34316

Triggered via pull request February 6, 2025 21:04
@eljefe223eljefe223
synchronize #33795
Status Success
Total duration 16s
Artifacts

pr-housekeeping.yml

on: pull_request_target
label
4s
label
assign-to-current-milestone
2s
assign-to-current-milestone
Fit to window
Zoom out
Zoom in