fix: Fix navigation manager to be in line with server #717

Sign in to view logs

Triggered via pull request October 1, 2024 14:24

synchronize #1248

bugfix/noid/fix-navigation-manager

Status Success

Total duration 21m 44s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary