Skip to content

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

Add config option to customize automatic sidebar navigation group names

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

Triggered via pull request November 27, 2023 17:50
Status Success
Total duration 14s
Artifacts

hyde-stan.yml

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