etcdserver: add server range duration metrics #11230

	---
	name: Static Analysis
	on: [push, pull_request]
	permissions: read-all
	jobs:
	run:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4.1.4
	- id: goversion
	run: echo "goversion=$(cat .go-version)" >> "$GITHUB_OUTPUT"
	- uses: actions/setup-go@cdcb36043654635271a94b9a6d1392de5bb323a7 # v5.0.1
	with:
	go-version: ${{ steps.goversion.outputs.goversion }}
	- run: \|
	go install github.com/golangci/golangci-lint/cmd/golangci-lint@"$(cd tools/mod && go list -m -f {{.Version}} github.com/golangci/golangci-lint)"
	- name: protoc
	uses: arduino/setup-protoc@149f6c87b92550901b26acd1632e11c3662e381f # v1.3.0
	with:
	version: '3.20.3'
	repo-token: ${{ secrets.GITHUB_TOKEN }}
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	- run: \|
	set -euo pipefail

	cargo install marker --version 0.9.0
	- run: \|
	set -euo pipefail

	make verify
	- run: \|
	set -euo pipefail

	make fix

	DIFF=$(git status --porcelain)

	if [ -n "$DIFF" ]; then
	echo "These files were modified:"
	echo
	echo "$DIFF"
	echo
	exit 1
	fi

Provide feedback