build

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

Job	Run time
Check protos	36s
Clippy check	4m 47s
Check that MkDocs can build the docs	21s
build (ubuntu-latest)	7m 44s
build (macos-13)	4m 50s
Check that MkDocs can build the docs with Poetry 1.3.2	40s
Check formatting	15s
build (windows-latest)	12m 7s
build (ubuntu-latest, --all-features)	10m 1s
cargo-deny (advisories)	27s
cargo-deny (bans licenses sources)	26s
	42m 14s

Provide feedback