build

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

Job	Run time
Check protos	1m 23s
cargo-deny (advisories)	43s
Check that MkDocs can build the docs	35s
cargo-deny (bans licenses sources)	33s
build (ubuntu-latest)	4m 35s
build (macos-13)	5m 7s
Check that MkDocs can build the docs with Poetry 1.3.2	46s
build (windows-latest)	13m 25s
Check formatting	13s
build (ubuntu-latest, --all-features)	10m 6s
Clippy check	4m 24s
	41m 50s

Provide feedback