fix: Various NavMobile and NavJumpMenu fixes for EDU #1541

Sign in to view logs

Triggered via pull request October 17, 2024 17:13

synchronize #666

fix/mobile-jump-menu

Status Success

Total duration 58s

Artifacts –

lint.yml

on: pull_request

lint-and-check-format