Skip to content
Render documentation

Support type-dependent search result highlighting via CSS #11367

Sign in to view logs

Support type-dependent search result highlighting via CSS

Support type-dependent search result highlighting via CSS #11367

Triggered via pull request July 25, 2024 17:37
@timhoffmtimhoffm
synchronize #12474
timhoffm:search-icons
Status Success
Total duration 44s
Artifacts –

builddoc.yml

on: pull_request
build
30s
build
Fit to window
Zoom out
Zoom in