Skip to content

Commit 808cb13

Browse files
authored
Merge pull request #7199 from readthedocs/pr-build-no-search
Mention that we don't index search in PR builds
2 parents cf90cc3 + cc7a62e commit 808cb13

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

docs/guides/autobuild-docs-for-pull-requests.rst

+8
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,14 @@ Features
4747

4848
GitHub Build Status Reporting for Pull Requests
4949

50+
Limitations
51+
-----------
52+
53+
Currently we don't index search for pull request builds.
54+
Searches will default to the default experience for your tool.
55+
This is a feature we plan to add,
56+
but don't want to overwhelm our search indexes used in production.
57+
5058
Troubleshooting
5159
---------------
5260

0 commit comments

Comments
 (0)