Skip to content

enh: Add unique DOM identifiers for nav entries #2084

enh: Add unique DOM identifiers for nav entries

enh: Add unique DOM identifiers for nav entries #2084

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

block-merge-freeze.yml

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