build

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

Job	Run time
build (ubuntu-latest)	8m 17s
cargo-deny (advisories)	25s
Check protos	2m 47s
build (macos-13)	4m 49s
Clippy check	4m 46s
cargo-deny (bans licenses sources)	33s
build (windows-latest)	14m 1s
build (ubuntu-latest, --all-features)	9m 47s
Check that MkDocs can build the docs	22s
Check that MkDocs can build the docs with Poetry 1.3.2	30s
Check formatting	25s
	46m 42s

Provide feedback