[Portal] Redesign header with improved mobile menu layout #14325
Triggered via pull request
May 23, 2025 04:57
joaquim-verges
joaquim-verges
synchronize
#7138
Status
Success
Total duration
13s
Artifacts
–