Skip to content
🔬 HydeStan

Update navigation menu generator to remove duplicates after sorting #6793

Sign in to view logs

Update navigation menu generator to remove duplicates after sorting

Update navigation menu generator to remove duplicates after sorting #6793

Triggered via pull request October 28, 2023 14:20
@caendesilvacaendesilva
opened #1407
duplicate-navigation-items-should-give-precedence-to-config-defined-items
Status Success
Total duration 13s
Artifacts –

hyde-stan.yml

on: pull_request
analyze
4s
analyze
Fit to window
Zoom out
Zoom in