Skip to content

Improve the error message in the symbols sidebar

Administrator requested to merge symbols-sidebar-better-error into main

Created by: chrismwendt

It now shows a more helpful error message based on the backend (SQLite or Rockskip) and repo size:

CleanShot 2022-06-02 at 00 01 11

If Rockskip is enabled, it'll show the estimated completion time:

CleanShot 2022-06-02 at 00 53 18

Depends on https://github.com/sourcegraph/sourcegraph/pull/36429

Test plan

Manual

Merge request reports

Loading