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