Skip to content

Time taken to index the code pushed to github repository #129971

Discussion options

You must be logged in to vote

It depends on how big your repository is, but typically changes are available within a few minutes. If your repository is not indexed after an extended period of time, you can file a support ticket.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by look
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Code Search and Navigation Search, navigate, and understand code on GitHub Question
2 participants