build

switch builtin pager to streampager #17981

Job	Run time
Build without Git support	1m 12s
cargo-deny (advisories)	25s
build (ubuntu-24.04)	5m 31s
cargo-deny (bans licenses sources)	22s
Run doctests	2m 32s
build (macos-13)	8m 47s
Check protos	39s
Check that MkDocs can build the docs	13s
build (macos-14)	4m 52s
Check formatting	19s
build (windows-latest)	9m 49s
Check that MkDocs can build the docs with latest Python and uv	12s
build (ubuntu-24.04, --all-features)	6m 32s
Clippy check	2m 54s
	44m 19s

Provide feedback