Fix PHP code style issues

Create tree for navigation if one doesn't exist #530

Sign in to view logs

Triggered via push November 20, 2023 18:17

create-nav-tree-if-one-does-not-exist

Status Success

Total duration 1m 33s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pint-fix.yml

on: push

fix-php-code-styling