build

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

Job	Run time
Check protos	35s
build (ubuntu-latest)	4m 35s
build (macos-13)	4m 51s
build (windows-latest)	7m 21s
cargo-deny (advisories)	28s
build (ubuntu-latest, --all-features)	5m 53s
cargo-deny (bans licenses sources)	23s
Clippy check	2m 11s
Check that MkDocs can build the docs with Poetry 1.3.2	31s
Check that MkDocs can build the docs	24s
Check formatting	17s
	27m 29s

Provide feedback