Skip to content

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

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

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

Triggered via push April 19, 2023 10:00
Status Success
Total duration 47s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

doc-build.yml

on: push
CI Sanity Check
31s
CI Sanity Check
Documentation Build
0s
Documentation Build
Fit to window
Zoom out
Zoom in