Skip to content

Merge pull request #32749 from phillip-kruger/dev-ui-submenu-label #328

Merge pull request #32749 from phillip-kruger/dev-ui-submenu-label

Merge pull request #32749 from phillip-kruger/dev-ui-submenu-label #328

Triggered via push April 19, 2023 10:00
Status Skipped
Total duration 4s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
CI Sanity Check
0s
CI Sanity Check
Fit to window
Zoom out
Zoom in