Skip to content

enh: Add unique DOM identifiers for nav entries #2464

enh: Add unique DOM identifiers for nav entries

enh: Add unique DOM identifiers for nav entries #2464

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

fixup.yml

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