build

Website (`poetry` and `mike`)-related updates #7726

Job	Run time
Check that MkDocs can build the docs	27s
Check protos	1m 20s
build (ubuntu-latest)	4m 33s
build (macos-13)	4m 36s
Check formatting	18s
build (windows-latest)	10m 28s
build (ubuntu-latest, --all-features)	5m 23s
cargo-deny (advisories)	31s
cargo-deny (bans licenses sources)	32s
Clippy check	2m 21s
Check that MkDocs can build the docs with Poetry 1.3.2	39s
	31m 8s

Provide feedback