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