Skip to content
🔬 HydeStan

Add documentation index page to the sidebar when it's the only page #7184

Sign in to view logs

Add documentation index page to the sidebar when it's the only page

Add documentation index page to the sidebar when it's the only page #7184

Triggered via pull request November 26, 2023 16:09
@caendesilvacaendesilva
synchronize #1472
add-documentation-index-page-to-sidebar-when-it-is-the-only-page
Status Success
Total duration 12s
Artifacts –

hyde-stan.yml

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