zoekt: update to 3ce1f2b24c80b3dea89d237600d2b0879342ed1b

[ggilmore]

This bumps Zoekt to sourcegraph/zoekt@3ce1f2b

• bumps the version of zoekt we depend on: https://github.com/sourcegraph/sourcegraph/pull/56525/commits/4f25112a402f1376c668976876b90ceafc81a1f7
• using this new version of zoekt, implement a gRPC dashboard for zoekt-webserver: https://github.com/sourcegraph/sourcegraph/pull/56525/commits/e47723fa09cd95ec979e64546489d3cfe87807f5

See the screenshot below for what the new graphs look like:

Test plan

CI

Preview 🤩

Preview Link

[sourcegraph-bot]

Codenotify: Notifying subscribers in CODENOTIFY files for diff e796b94...29d7ce3.

Notify	File(s)
@bobheadxi	monitoring/definitions/frontend.go monitoring/definitions/git_server.go monitoring/definitions/repo_updater.go monitoring/definitions/searcher.go monitoring/definitions/shared/grpc.go monitoring/definitions/symbols.go monitoring/definitions/zoekt.go
@camdencheek	internal/search/backend/BUILD.bazel internal/search/backend/grpc.go internal/search/backend/zoekt.go
@jtibshirani	internal/search/backend/BUILD.bazel internal/search/backend/grpc.go internal/search/backend/zoekt.go
@keegancsmith	internal/search/backend/BUILD.bazel internal/search/backend/grpc.go internal/search/backend/zoekt.go
@slimsag	monitoring/definitions/frontend.go monitoring/definitions/git_server.go monitoring/definitions/repo_updater.go monitoring/definitions/searcher.go monitoring/definitions/shared/grpc.go monitoring/definitions/symbols.go monitoring/definitions/zoekt.go
@sourcegraph/delivery	doc/admin/observability/dashboards.md monitoring/definitions/frontend.go monitoring/definitions/git_server.go monitoring/definitions/repo_updater.go monitoring/definitions/searcher.go monitoring/definitions/shared/grpc.go monitoring/definitions/symbols.go monitoring/definitions/zoekt.go

[sourcegraph-release-bot]

The backport to 5.1 failed at https://github.com/sourcegraph/sourcegraph/actions/runs/6162071773:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-5.1 5.1
# Navigate to the new working tree
cd .worktrees/backport-5.1
# Create a new branch
git switch --create backport-56525-to-5.1
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x --mainline 1 b32587f4f044e6e1d58543216387941381294e03
# Push it to GitHub
git push --set-upstream origin backport-56525-to-5.1
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-5.1

If you encouter conflict, first resolve the conflict and stage all files, then run the commands below:

git cherry-pick --continue
# Push it to GitHub
git push --set-upstream origin backport-56525-to-5.1
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-5.1

• Follow above instructions to backport the commit.
• Create a pull request where the base branch is 5.1 and the compare/head branch is backport-56525-to-5.1., click here to create the pull request.
• Make sure to tag @sourcegraph/release-guild in the pull request description.
• Once the backport pull request is created, kindly remove the release-blocker from this pull request.