Lint source code

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

Sign in to view logs

Triggered via pull request July 26, 2024 16:18

jayaddison

opened #12692

jayaddison:issue-11153/configurable-searchindex-filename

Status Success

Total duration 51s

Artifacts –

lint.yml

on: pull_request