[core] Fix docs segments and make navigation item segments optional #11716
Triggered via pull request
July 30, 2024 18:07
apedroferreira
apedroferreira
synchronize
#3838
Status
Success
Total duration
11s
Artifacts
–