Skip to content
Render documentation

HTML search: Allow configuration of the search index filename #11384

Sign in to view logs

HTML search: Allow configuration of the search index filename

HTML search: Allow configuration of the search index filename #11384

Triggered via pull request July 26, 2024 16:18
@jayaddisonjayaddison
opened #12692
jayaddison:issue-11153/configurable-searchindex-filename
Status Success
Total duration 1m 5s
Artifacts –

builddoc.yml

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