build

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

Job	Run time
Check protos	27s
cargo-deny (advisories)	1m 0s
build (ubuntu-latest)	4m 41s
cargo-deny (bans licenses sources)	24s
build (macos-13)	5m 11s
Clippy check	3m 50s
build (windows-latest)	12m 30s
build (ubuntu-latest, --all-features)	5m 35s
Check that MkDocs can build the docs with Poetry 1.3.2	30s
Check formatting	20s
Check that MkDocs can build the docs	18s
	34m 46s

Provide feedback