Skip to content

Deprecate nav() in favor of nav_panel() #654

Deprecate nav() in favor of nav_panel()

Deprecate nav() in favor of nav_panel() #654

Triggered via pull request December 14, 2023 18:45
@cpsievertcpsievert
synchronize #876
nav-panel
Status Success
Total duration 5m 14s
Artifacts

build-docs.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in