diff options
Diffstat (limited to '.gitlab')
| -rw-r--r-- | .gitlab/os-linux.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/os-linux.yml b/.gitlab/os-linux.yml index ee06a48..3b2a494 100644 --- a/.gitlab/os-linux.yml +++ b/.gitlab/os-linux.yml @@ -652,3 +652,5 @@ -DCMake_SPHINX_CMAKE_ORG_OUTDATED=$CMAKE_CI_SPHINX_OUTDATED -DCMake_VERSION_NO_GIT=$CMAKE_CI_VERSION_NO_GIT - ninja + # FIXME(#25175): non-main index entries are scored too high. + - sed -i '/search for explicit entries in index directives/,/^$/d' html/_static/searchtools.js |