Skip to content

enh: Add unique DOM identifiers for nav entries #2082

enh: Add unique DOM identifiers for nav entries

enh: Add unique DOM identifiers for nav entries #2082

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

block-merge-freeze.yml

on: pull_request
Block merges during freezes
5s
Block merges during freezes
Fit to window
Zoom out
Zoom in