Skip to content

Add config option to customize automatic sidebar navigation group names #7209

Add config option to customize automatic sidebar navigation group names

Add config option to customize automatic sidebar navigation group names #7209

Triggered via pull request November 27, 2023 18:41
Status Success
Total duration 18s
Artifacts

hyde-stan.yml

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