build

website: upgrade `mike` to version 2.0 #7684

Job	Run time
build (ubuntu-latest)	8m 53s
Check protos	1m 57s
build (macos-13)	5m 16s
Check formatting	17s
build (windows-latest)	13m 11s
build (ubuntu-latest, --all-features)	11m 2s
cargo-deny (advisories)	37s
cargo-deny (bans licenses sources)	39s
Clippy check	4m 3s
Check that MkDocs can build the docs	19s
	46m 14s

Provide feedback