build

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

Job	Run time
Check protos	42s
build (ubuntu-latest)	7m 27s
build (macos-13)	4m 40s
Check that MkDocs can build the docs	19s
build (windows-latest)	13m 27s
Check formatting	20s
build (ubuntu-latest, --all-features)	9m 51s
cargo-deny (advisories)	24s
Clippy check	3m 30s
cargo-deny (bans licenses sources)	28s
Check that MkDocs can build the docs with Poetry 1.3.2	54s
	42m 2s

Provide feedback