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