Skip to content

enh: Add unique DOM identifiers for nav entries #2434

enh: Add unique DOM identifiers for nav entries

enh: Add unique DOM identifiers for nav entries #2434

Triggered via pull request November 10, 2023 19:19
Status Success
Total duration 18s
Artifacts

fixup.yml

on: pull_request
Block fixup and squash commits
6s
Block fixup and squash commits
Fit to window
Zoom out
Zoom in