build

switch builtin pager to streampager #17974

Job	Run time
build (ubuntu-24.04)	5m 27s
build (macos-13)	7m 13s
build (macos-14)	4m 52s
build (windows-latest)	11m 10s
build (ubuntu-24.04, --all-features)	6m 39s
Build without Git support	1m 17s
Check protos	35s
Check formatting	15s
cargo-deny (advisories)	21s
cargo-deny (bans licenses sources)	21s
Run doctests	2m 31s
Clippy check	2m 48s
Check that MkDocs can build the docs	14s
Check that MkDocs can build the docs with latest Python and uv	15s
	43m 58s

Provide feedback