Skip to content
🔬 HydeStan

Update navigation menu generator to remove duplicates after sorting #6794

Sign in to view logs

Update navigation menu generator to remove duplicates after sorting

Update navigation menu generator to remove duplicates after sorting #6794

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

hyde-stan.yml

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