Skip to content

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

[fix]: remove unnecessary filtering in menu-item

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

Triggered via pull request February 6, 2025 20:44
@eljefe223eljefe223
synchronize #33795
Status Success
Total duration 14s
Artifacts

pr-housekeeping.yml

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