Skip to content

enh: Add unique DOM identifiers for nav entries #2463

enh: Add unique DOM identifiers for nav entries

enh: Add unique DOM identifiers for nav entries #2463

Triggered via pull request November 15, 2023 17:36
Status Success
Total duration 16s
Artifacts

fixup.yml

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